. .
English
United States
Search tools
Sign in
Share this book on...
Book recommendations
Latest news
Tip from find-more-books.com
Advertising
FILTER
- 0 Results
Lowest price: 52.10 €, highest price: 72.99 €, average price: 63.64 €
The Way of Z: Practical Programming with Formal Methods - Jonathan Jacky
book is out-of-stock
(*)
Jonathan Jacky:

The Way of Z: Practical Programming with Formal Methods - used book

ISBN: 0521559766

ID: 5341311

This self-contained tutorial on Z presents realistic case studies emphasizing safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented programming. It motivates the use of formal methods and discusses practical issues concerning how to apply them in real projects. It also teaches how to apply formal program derivation and verification to implement Z specifications in real programming languages with examples in C. The book includes exercises with solutions, reference materials, and a guide to further reading. computer science,computers and technology,education and reference,languages and tools,mathematics,methodology,programming,programming languages,science and math,software Programming Languages, Cambridge University Press

Used Book Thriftbooks.com
used Shipping costs:zzgl. Versandkosten, plus shipping costs
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
The Way of Z: Practical Programming with Formal Methods - Jonathan Jacky
book is out-of-stock
(*)

Jonathan Jacky:

The Way of Z: Practical Programming with Formal Methods - new book

ISBN: 9780521559768

ID: f7a3aa95bc9b687f42dbfbfdd89783fa

Practical Programming With Formal Methods This self-contained tutorial on Z presents realistic case studies emphasizing safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented programming. It motivates the use of formal methods and discusses practical issues concerning how to apply them in real projects. It also teaches how to apply formal program derivation and verification to implement Z specifications in real programming languages with examples in C. The book includes exercises with solutions, reference materials, and a guide to further reading. Bücher / Fremdsprachige Bücher / Englische Bücher 978-0-521-55976-8, Cambridge University Press

New book Buch.de
Nr. 5200502 Shipping costs:Bücher und alle Bestellungen die ein Buch enthalten sind versandkostenfrei, sonstige Bestellungen innerhalb Deutschland EUR 3,-, ab EUR 20,- kostenlos, Bürobedarf EUR 4,50, kostenlos ab EUR 45,-, Versandfertig in 1 - 2 Wochen, zzgl. Versandkosten, plus shipping costs
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
The Way of Z: Practical Programming with Formal Methods - Jonathan Jacky
book is out-of-stock
(*)
Jonathan Jacky:
The Way of Z: Practical Programming with Formal Methods - new book

ISBN: 9780521559768

ID: 523233522

This self-contained tutorial on Z presents realistic case studies emphasizing safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented programming. It motivates the use of formal methods and discusses practical issues concerning how to apply them in real projects. It also teaches how to apply formal program derivation and verification to implement Z specifications in real programming languages with examples in C. The book includes exercises with solutions, reference materials, and a guide to further reading. Practical Programming With Formal Methods Buch (fremdspr.) Bücher>Fremdsprachige Bücher>Englische Bücher, Cambridge University Press

New book Thalia.at
No. 5200502 Shipping costs:CH (EUR 3.50)
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
The Way of Z: Practical Programming with Formal Methods - Jacky, Jonathan
book is out-of-stock
(*)
Jacky, Jonathan:
The Way of Z: Practical Programming with Formal Methods - used book

ISBN: 9780521559768

ID: 1761245

This self-contained tutorial on Z presents realistic case studies emphasizing safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented programming. It motivates the use of formal methods and discusses practical issues concerning how to apply them in real projects. It also teaches how to apply formal program derivation and verification to implement Z specifications in real programming languages with examples in C. The book includes exercises with solutions, reference materials, and a guide to further reading. The Way of Z: Practical Programming with Formal Methods Jacky, Jonathan, Cambridge University Press

Used Book Betterworldbooks.com
Shipping costs:zzgl. Versandkosten, plus shipping costs
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
The Way of Z: Practical Programming with Formal Methods - Jonathan Jacky
book is out-of-stock
(*)
Jonathan Jacky:
The Way of Z: Practical Programming with Formal Methods - Paperback

ISBN: 9780521559768

ID: 9780521559768

The Way of Z: Practical Programming with Formal Methods Way-of-Z~~Jonathan-Jacky Computers>Windows>Programming Paperback, Cambridge University Press

New book Barnesandnoble.com
new Shipping costs:zzgl. Versandkosten, plus shipping costs
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.

< to search results...
Details of the book
The Way of Z: Practical Programming with Formal Methods
Author:

Jacky, Jonathan

Title:

The Way of Z: Practical Programming with Formal Methods

ISBN:

0521559766

Details of the book - The Way of Z: Practical Programming with Formal Methods


EAN (ISBN-13): 9780521559768
ISBN (ISBN-10): 0521559766
Paperback
Publishing year: 1996
Publisher: CAMBRIDGE UNIV PR
350 Pages
Weight: 0,612 kg
Language: eng/Englisch

Book in our database since 25.09.2007 00:48:48
Book found last time on 24.03.2017 14:25:51
ISBN/EAN: 0521559766

ISBN - alternate spelling:
0-521-55976-6, 978-0-521-55976-8

< to search results...
< to archive...
Related books