Ralph johan back joakim wright (4 résultats)
Langue : anglais
Edité par Springer 1998
Série : Texts in Computer Science, Livre 27 sur 83. Livre 27 sur 83 - Texts in Computer Science
- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 115,39
EUR 13,85 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In.
Langue : anglais
Edité par Springer 1998
Série : Texts in Computer Science, Livre 27 sur 83. Livre 27 sur 83 - Texts in Computer Science
- Couverture souple
Vendeur : Mispah books, Redhill, SURRE, Royaume-UniMispah books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion - Comme neuf
EUR 132,21
EUR 28,91 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Langue : anglais
Edité par Springer New York 1998
Série : Texts in Computer Science, Livre 27 sur 83. Livre 27 sur 83 - Texts in Computer Science
- Couverture souple
Vendeur : Buchpark, Trebbin, , AllemagneBuchpark
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 79,30
EUR 105,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : Gut. Zustand: Gut | Seiten: 540 | Sprache: Englisch | Produktart: Bücher | Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving correctness? This latter question is known as the refinement of programs and the purpose of this bo…ok is to consider these questions in a formal setting. In fact, correctness turns out to be a special case of refinement and so the focus is on refinement. Although a reasonable background knowledge is assumed from mathematics and CS, the book is a self-contained introduction suitable for graduate students and researchers coming to this subject for the first time. There are numerous exercises provided of varying degrees of challenge.
Langue : anglais
Edité par Springer New York 1998
Série : Texts in Computer Science, Livre 27 sur 83. Livre 27 sur 83 - Texts in Computer Science
- Couverture souple
- impression à la demande
Vendeur : moluna, Greven, , Allemagnemoluna
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 98,54
EUR 48,99 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving correctness? This latter question is known as the refinement of programs… and the purpose of this book is to .
