ZB-2003 | Anonymous | AmpleReads Books

Nonfiction | Computer & Technology

ZB 2003

2020-05-12 05:30:36

ZB 2003

2020-05-12 05:30: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

ISBN

9783540448808

Anonymous

Author

-...

Compare Prices

Store

Availability

Book Format

Book Condition

Price

In Stock

Buy GBP 139.0

Available Discount

No Discount available

Related Books

Moodle Gradebook:

Windows Server 2012 R2 Pocket Consultant Volume 2:

Network Programmability and Automation:

Troubleshooting Cisco Nexus Switches and NX-OS:

Expanding and Networking Microcomputers:

Intelligence Analysis as Discovery of Evidence, Hypotheses, and Arguments:

Topics at the Frontier of Statistics and Network Analysis:

Abstract Methods in Information Theory:

CompTIA Network+ Study Guide:

Complex Analysis with MATHEMATICA®:

Drones For Dummies:

Rapid Prototyping Software for Avionics Systems:

(ISC)2 CISSP Certified Information Systems Security Professional Official Study Guide:

Make:

Practical Monitoring:

Type Theory and Formal Proof:

CISM Certified Information Security Manager All-in-One Exam Guide:

MCSA SQL 2016 BI Development Exam Ref 2-pack:

Privacy and Legal Issues in Cloud Computing:

Windows 10 Bible:

Microsoft SharePoint 2013 Step by Step:

The Digital Filmmaking Handbook:

Python Programming for Arduino:

LPIC-1:

The Seismic Analysis Code: