Français
France
s'inscrire
Conseils d'eurolivre.fr
Livres similaires
Autres livres qui pourraient ressembler au livre recherché:
Outils de recherche
Livre conseillé
Actualités
Publicité
FILTRE
- 0 Résultats
prix le plus bas: 47,55 €, prix le plus élevé: 69,76 €, prix moyen: 57,53 €
Programs, Recursion and Unbounded Choice - Hesselink, Wim H. Wim H. , Hesselink
Livre non disponible
(*)
Hesselink, Wim H. Wim H. , Hesselink:
Programs, Recursion and Unbounded Choice - Livres de poche

ISBN: 9780521018296

[ED: Softcover], [PU: CAMBRIDGE UNIV PR], This book is a complete account of the predicate transformation calculus semantics of sequential programs, including repetitions, recursive procedures, computational induction and unbounded nondeterminacy. Predicate transformation semantics are the best specification method for the development of correct and well-structured computer programs. The author develops this theory to a greater depth than has been achieved before, and describes it in a way that makes it readily compatible with programming rules for partial and total correctness of repetitions and recursive procedures, supplies new rules for proving incorrectness, and a stronger rule for proving that two programs satisfy the same specifications. Finally, the semantics are extended so that non-terminating programs can be specified as well. This will be essential reading for all computer scientists working in specification and verification of programs.237 p.Versandfertig in über 4 Wochen, [SC: 0.00]

Nouveaux livres Booklooker.de
buecher.de GmbH & Co. KG
Frais d'envoiVersandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Programs, Recursion and Unbounded Choice (Cambridge Tracts in Theoretical Computer Science) - Hesselink, Wim H
Livre non disponible
(*)
Hesselink, Wim H:
Programs, Recursion and Unbounded Choice (Cambridge Tracts in Theoretical Computer Science) - Livres de poche

2005, ISBN: 9780521018296

ID: 913172291

Cambridge University Press, 2005-08-22. Paperback. Used:Good. Ships Fast. Expedite Shipping Available., Cambridge University Press, 2005-08-22

livre d'occasion Biblio.com
Ergodebooks
Frais d'envoi EUR 14.13
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Programs Recursion and Unbounded Choice - Wim H. Hesselink
Livre non disponible
(*)
Wim H. Hesselink:
Programs Recursion and Unbounded Choice - nouveau livre

ISBN: 9780521018296

ID: 9780521018296

Programs Recursion and Unbounded Choice Author :Wim H. Hesselink 9780521018296 0521018293, [PU: Cambridge University Press]

Nouveaux livres printsasia.de
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.
Programs, Recursion and Unbounded Choice - Wim H. Hesselink
Livre non disponible
(*)
Wim H. Hesselink:
Programs, Recursion and Unbounded Choice - Livres de poche

2005, ISBN: 9780521018296

ID: 6680649

Softcover, Buch, [PU: Cambridge University Press]

Nouveaux livres Lehmanns.de
Frais d'envoiVersand in 15-20 Tagen, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Programs, Recursion and Unbounded Choice - Wim H. Hesselink
Livre non disponible
(*)
Wim H. Hesselink:
Programs, Recursion and Unbounded Choice - Livres de poche

ISBN: 9780521018296

ID: 9780521018296

paperback, [PU: Cambridge University Press]

Nouveaux livres Blackwell.co.uk
Blackwells.co.uk
in stock Frais d'envoiUsually dispatched within 7 days (EUR 1.22)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

Détails sur le livre
Programs, Recursion and Unbounded Choice

A complete account of the predicate transformation calculus semantics of sequential programs.

Informations détaillées sur le livre - Programs, Recursion and Unbounded Choice


EAN (ISBN-13): 9780521018296
ISBN (ISBN-10): 0521018293
Livre de poche
Date de parution: 2005
Editeur: CAMBRIDGE UNIV PR
240 Pages
Poids: 0,386 kg
Langue: eng/Englisch

Livre dans la base de données depuis 20.12.2007 20:20:41
Livre trouvé récemment le 16.02.2017 13:54:09
ISBN/EAN: 0521018293

ISBN - Autres types d'écriture:
0-521-01829-3, 978-0-521-01829-6


< pour archiver...
Livres en relation