Wright joakim (4 résultats)
Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs'96, Turku, Finland, August 26 - 30, 1996, Proceedings (Lecture Notes in Computer Science)
Wright, Joakim von [Editor]; Grundy, Jim [Editor]; Harrison, John [Editor];
- Couverture souple
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-UnisGuthrieBooks
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 4,91
EUR 6,02 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Langue : anglais
Edité par Springer, 1998
- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 116,37
EUR 13,97 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In.
Langue : anglais
Edité par Springer, 1998
- Couverture souple
Vendeur : Mispah books, Redhill, SURRE, Royaume-UniMispah books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion - Comme neuf
EUR 133,33
EUR 29,15 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
- 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
Kartoniert / Broschiert. 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 t…he refinement of programs and the purpose of this book is to .
