Wright joakim (3 Ergebnisse)
Theorem Proving in Higher Order Logics : 9th International Conference, TPHOL 96, Turku, Finland, August 1996: Proceedings
Wright, J., International Conference on Theorem Proving in Hig, Grundy, J., Harrison, J.
- Softcover
Anbieter: Better World Books: West, Reno, USABetter World Books: West
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 14,78
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Sprache: Englisch
Verlag: Springer 1998
Serie: Texts in Computer Science, Buch 27 von 83. Buch 27 von 83 - Texts in Computer Science
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 114,29
EUR 13,83 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Springer New York 1998
Serie: Texts in Computer Science, Buch 27 von 83. Buch 27 von 83 - Texts in Computer Science
- Softcover
Anbieter: Buchpark, Trebbin, DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 29,90
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: 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…book 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.
