. .
Français
France
Outils de recherche
s'inscrire

Connectez-vous avec Facebook:

S'inscrire
Mot de passe oublié?


Historique de recherche
Liste pense-bête
Liens vers eurolivre.fr

Partager ce livre sur…
Livre conseillé
Actualités
Conseils d'eurolivre.fr
Publicité
Annonce payée
FILTRE
- 0 Résultats
prix le plus bas: 52,10 €, prix le plus élevé: 72,99 €, prix moyen: 63,50 €
The Way of Z: Practical Programming with Formal Methods - Jonathan Jacky
Livre non disponible
(*)
Jonathan Jacky:

The Way of Z: Practical Programming with Formal Methods - livre d'occasion

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

livre d'occasion Thriftbooks.com
used Frais d'envoizzgl. Versandkosten, Livraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
The Way of Z: Practical Programming with Formal Methods - Jonathan Jacky
Livre non disponible
(*)

Jonathan Jacky:

The Way of Z: Practical Programming with Formal Methods - nouveau livre

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

Nouveaux livres Buch.de
Nr. 5200502 Frais d'envoiBü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, Livraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
The Way of Z: Practical Programming with Formal Methods - Jonathan Jacky
Livre non disponible
(*)
Jonathan Jacky:
The Way of Z: Practical Programming with Formal Methods - nouveau livre

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

Nouveaux livres Thalia.at
No. 5200502 Frais d'envoiCH (EUR 3.50)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
The Way of Z: Practical Programming with Formal Methods - Jonathan Jacky
Livre non disponible
(*)
Jonathan Jacky:
The Way of Z: Practical Programming with Formal Methods - Livres de poche

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

Nouveaux livres Barnesandnoble.com
new Frais d'envoizzgl. Versandkosten, Livraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
The Way of Z Practical Programming with Formal Methods 1st Published - Jonathan Jacky
Livre non disponible
(*)
Jonathan Jacky:
The Way of Z Practical Programming with Formal Methods 1st Published - nouveau livre

ISBN: 9780521559768

ID: 9780521559768

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

Nouveaux livres Printsasia
new Frais d'envoi EUR 0.00
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

< Retour aux résultats de recherche...
Détails sur le livre
The Way of Z: Practical Programming with Formal Methods
Auteur:

Jacky, Jonathan

Titre:

The Way of Z: Practical Programming with Formal Methods

ISBN:

9780521559768

Informations détaillées sur le livre - The Way of Z: Practical Programming with Formal Methods


EAN (ISBN-13): 9780521559768
ISBN (ISBN-10): 0521559766
Livre de poche
Date de parution: 1996
Editeur: CAMBRIDGE UNIV PR
350 Pages
Poids: 0,612 kg
Langue: eng/Englisch

Livre dans la base de données depuis 25.09.2007 00:48:48
Livre trouvé récemment le 29.06.2016 15:20:33
ISBN/EAN: 9780521559768

ISBN - Autres types d'écriture:
0-521-55976-6, 978-0-521-55976-8

< Retour aux résultats de recherche...
< pour archiver...
Adjacent Livres