Formal Specification and Documentation Using Z
Jonathan. P. Bowen
₹3,849
Engineering Trustworthy Software Systems
Second International School
by Jonathan P. Bowen, Zhiming Liu, Zili Zhang
Springer International Publishing AG · 2017
₹3,948
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Published by Springer International Publishing AG in 2017, Engineering Trustworthy Software Systems: Second International School by Jonathan P. Bowen, Zhiming Liu & others runs to 259 pages.
The book deals with Software engineering and Computer architecture.
Book details
- ISBN-13
- 9783319568409
- ISBN-10
- 331956840X
- Authors
- Jonathan P. Bowen, Zhiming Liu, Zili Zhang
- Publisher
- Springer International Publishing AG
- Published
- 2017
- Edition
- 1st ed. 2017
- Pages
- 259
- Language
- English
- Condition
- New
- Subject
- Computer architecture
More by Jonathan P. Bowen and related titles
Zum '95
Jonathan P. Bowen, Michael G. Hinchey
₹5,296
Engineering Trustworthy Software Systems
Jonathan P. Bowen, Zhiming Liu, Zili Zhang
₹4,196
Zum'97
Jonathan P. Bowen, Michael G. Hinchey, David Till
₹5,598
CUDA Application Design and Development
Rob Farber
₹3,137
Technology of Object-Oriented Languages, Systems and Architectures
Theo D'Hondt
₹7,756
Entwurf Und Verifikation Mikroprogrammierter Rechnerarchitekturen
Werner Damm
₹3,508
Modeling, Analysis and Optimization of Network-on-chip Communication Architectures
Umit Y. Ogras, Radu Marculescu
₹7,770
Cuda by Example
Jason Sanders, Edward Kandrot
₹4,339
Digital Design and Computer Architecture
Sarah L. Harris, David Money Harris
₹4,782
Scion
Pawel Szalachowski, Adrian Perrig, Raphael M. Reischuk, Laurent Chuat
₹4,261
Reconfigurable Computing
Andreas Koch, Ram Krishnamurthy, John McAllister
₹5,721