Nonfiction | Computer & Technology

ZB 2003

2020-05-12 09:00:36

Compare Price
The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in t... Read more
The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies. Less

Book Details

ISBN9783540448808
autor-image
Anonymous
Author
-...

Compare Prices

Store Availability Book Format Condition Price
eBooks.com In Stock Buy GBP 139.0
eBooks.comIn Stock
Format
Condition
Buy GBP 139.0
Available Discount
No Discount available

Related Books

View All
${ornaments[Math.floor(Math.random()*ornaments.length)]}
LPIC-1
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Windows Server 2012 R2 Pocket Consultant Volume 2
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Practical Monitoring
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
MCSA SQL 2016 BI Development Exam Ref 2-pack
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
CISM Certified Information Security Manager All-in-One Exam Guide
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Privacy and Legal Issues in Cloud Computing
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Topics at the Frontier of Statistics and Network Analysis
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Windows 10 Bible
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Type Theory and Formal Proof
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
(ISC)2 CISSP Certified Information Systems Security Professional Official Study Guide
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Drones For Dummies
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Complex Analysis with MATHEMATICA®
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Python Programming for Arduino
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Rapid Prototyping Software for Avionics Systems
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Troubleshooting Cisco Nexus Switches and NX-OS
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
The Seismic Analysis Code
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Network Programmability and Automation
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Microsoft SharePoint 2013 Step by Step
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
CompTIA Network+ Study Guide
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
The Digital Filmmaking Handbook
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Intelligence Analysis as Discovery of Evidence, Hypotheses, and Arguments
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Make
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Expanding and Networking Microcomputers
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Abstract Methods in Information Theory
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
Moodle Gradebook
☆ ☆ ☆ ☆ ☆

Join us and get access to all
your favourite books

Sign up for free and start exploring thousands of eBooks today.

Sign up for free

Stay in touch.

© 2026 AMPLE READS