ZB-2000 | Anonymous | AmpleReads Books

Nonfiction | Computer & Technology

ZB 2000

2020-05-12 09:00:45

ZB 2000

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

MCSA SQL 2016 BI Development Exam Ref 2-pack:

CompTIA Network+ Study Guide:

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

Windows Server 2012 R2 Pocket Consultant Volume 2:

Troubleshooting Cisco Nexus Switches and NX-OS:

Privacy and Legal Issues in Cloud Computing:

Practical Monitoring:

Python Programming for Arduino:

Abstract Methods in Information Theory:

Microsoft SharePoint 2013 Step by Step:

Expanding and Networking Microcomputers:

Drones For Dummies:

Rapid Prototyping Software for Avionics Systems:

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

Topics at the Frontier of Statistics and Network Analysis:

Type Theory and Formal Proof:

Network Programmability and Automation:

The Seismic Analysis Code:

Moodle Gradebook:

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

The Digital Filmmaking Handbook:

Complex Analysis with MATHEMATICA®:

LPIC-1:

Windows 10 Bible:

Make: