ZB-2000 | Anonymous | AmpleReads Books

Nonfiction | Computer & Technology

ZB 2000

2020-05-12 05:30:45

ZB 2000

2020-05-12 05:30:45

COMPARE PRICE

This book constitutes the refereed proceedings of the First International Conference of B and Z Users, ZB 2000, held in York, UK in August/September 2000.The 25 revised full papers presented together with four invited contributions were carefully rev... Read more

This book constitutes the refereed proceedings of the First International Conference of B and Z Users, ZB 2000, held in York, UK in August/September 2000.The 25 revised full papers presented together with four invited contributions were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notion and for the B method; the full scope, ranging from foundational and theoretical issues to advanced applications, tools, and case studies, is covered. Less

ISBN

9783540445258

Anonymous

Author

-...

Compare Prices

Store

Availability

Book Format

Book Condition

Price

In Stock

Buy AUD 119.0

Available Discount

No Discount available

Related Books

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

Complex Analysis with MATHEMATICA®:

LPIC-1:

Rapid Prototyping Software for Avionics Systems:

Troubleshooting Cisco Nexus Switches and NX-OS:

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

Drones For Dummies:

Network Programmability and Automation:

Expanding and Networking Microcomputers:

Type Theory and Formal Proof:

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

Python Programming for Arduino:

MCSA SQL 2016 BI Development Exam Ref 2-pack:

Microsoft SharePoint 2013 Step by Step:

Practical Monitoring:

Privacy and Legal Issues in Cloud Computing:

Abstract Methods in Information Theory:

The Seismic Analysis Code:

Make:

Topics at the Frontier of Statistics and Network Analysis:

Moodle Gradebook:

The Digital Filmmaking Handbook:

CompTIA Network+ Study Guide:

Windows Server 2012 R2 Pocket Consultant Volume 2:

Windows 10 Bible: