With contributions by nummerous experts
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USA
Zustand: Good. 429 pp., Paperback, ex library, spine and joints worn, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Artikel-Nr. ZB695768
Anzahl: 1 verfügbar
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Taschenbuch. Zustand: Gut. Auflage: 1982. 444 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 356. Artikel-Nr. 401911
Anzahl: 1 verfügbar
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Zustand: New. In. Artikel-Nr. ria9783540112129_new
Anzahl: Mehr als 20 verfügbar
Anbieter: moluna, Greven, Deutschland
Zustand: New. With contributions by nummerous expertsProof rules dealing with fairness.- Hoare s Logic is incomplete when it does not have to be.- The refinement of specifications and the stability of Hoare s Logic.- Toward a logical theory of program data.- Design a. Artikel-Nr. 18965492
Anzahl: Mehr als 20 verfügbar
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Neuware - With contributions by nummerous experts. Artikel-Nr. 9783540112129
Anzahl: 2 verfügbar