. .
Deutsch
Deutschland
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.com

Dieses Buch teilen auf…
..?
Buchtipps
Aktuelles
Tipp von eurobuch.com
FILTER
- 0 Ergebnisse
Kleinster Preis: 52.10 EUR, größter Preis: 72.99 EUR, Mittelwert: 63.5 EUR
The Way of Z: Practical Programming with Formal Methods - Jonathan Jacky
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Jonathan Jacky:

The Way of Z: Practical Programming with Formal Methods - gebrauchtes Buch

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

gebrauchtes bzw. antiquarisches Buch Thriftbooks.com
used Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
The Way of Z: Practical Programming with Formal Methods - Jonathan Jacky
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)

Jonathan Jacky:

The Way of Z: Practical Programming with Formal Methods - neues Buch

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

Neues Buch Buch.de
Nr. 5200502 Versandkosten: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
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
The Way of Z: Practical Programming with Formal Methods - Jonathan Jacky
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Jonathan Jacky:
The Way of Z: Practical Programming with Formal Methods - neues Buch

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

Neues Buch Thalia.at
No. 5200502 Versandkosten:CH (EUR 3.50)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
The Way of Z: Practical Programming with Formal Methods - Jonathan Jacky
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Jonathan Jacky:
The Way of Z: Practical Programming with Formal Methods - Taschenbuch

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

Neues Buch Barnesandnoble.com
new Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
The Way of Z Practical Programming with Formal Methods 1st Published - Jonathan Jacky
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Jonathan Jacky:
The Way of Z Practical Programming with Formal Methods 1st Published - neues Buch

ISBN: 9780521559768

ID: 9780521559768

The Way of Z Practical Programming with Formal Methods 1st Published Author :Jonathan Jacky 9780521559768 0521559766, [PU: Cambridge University Press]

Neues Buch Printsasia
new Versandkosten: EUR 0.00
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

< zum Suchergebnis...
Details zum Buch
The Way of Z: Practical Programming with Formal Methods
Autor:

Jacky, Jonathan

Titel:

The Way of Z: Practical Programming with Formal Methods

ISBN-Nummer:

0521559766

Detailangaben zum Buch - The Way of Z: Practical Programming with Formal Methods


EAN (ISBN-13): 9780521559768
ISBN (ISBN-10): 0521559766
Taschenbuch
Erscheinungsjahr: 1996
Herausgeber: CAMBRIDGE UNIV PR
350 Seiten
Gewicht: 0,612 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 25.09.2007 00:48:48
Buch zuletzt gefunden am 29.06.2016 15:20:33
ISBN/EAN: 0521559766

ISBN - alternative Schreibweisen:
0-521-55976-6, 978-0-521-55976-8

< zum Suchergebnis...
< zum Archiv...
Benachbarte Bücher