Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Apt, Krzysztof R.,Olderog, Ernst-Rdiger
Verlag: Springer
Gebraucht
Verkäufer
WeBuyBooks, Rossendale, LANCS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 14. November 2005
Dieses Exemplar ist nicht mehr verfügbar. Hier sind die ähnlichsten Treffer für Verification of Sequential and Concurrent Programs (Texts in Computer Science).
Beschreibung
Beschreibung:
Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned. Ex library copy with usual stamps & stickers. Bestandsnummer des Verkäufers wbb0024121082
Bibliografische Details
Titel: Verification of Sequential and Concurrent ...
Verlag: Springer
Zustand: Good
Beste Suchergebnisse bei AbeBooks
Beispielbild für diese ISBN
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Anbieter: killarneybooks, Inagh, CLARE, Irland
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Near Fine. 3rd Edition. Hardcover, 3rd edition, xxiii + 502 pages, NOT ex-library. Shipping weight over 1kg. Signs of mild wear, book is clean and bright with unmarked text, free of inscriptions and stamps, firmly bound. Issued without a dust jacket. -- An in-depth exploration of the methodologies and techniques used for verifying the correctness of both sequential and concurrent programs. This comprehensive text delves into the theoretical foundations and practical applications of program verification. The book covers a range of topics, including formal methods, algorithmic analysis, and model checking, making it an essential resource for computer scientists, researchers, and students interested in ensuring software reliability and performance. With its detailed explanations and illustrative examples, the book equips readers with the knowledge needed to address complex verification challenges in modern computing systems. Bestandsnummer des Verkäufers 007578
Gebraucht kaufen
EUR 25,50
Versand:
EUR 34,84
Von Irland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Verification of Sequential and Concurrent Programs (Texts & Monographs in Computer Science)
Verlag:
Springer-Verlag New York, Incorp, 1991
ISBN 10: 0387975322
ISBN 13: 9780387975320
Gebraucht
Hardcover
Anbieter: HPB-Red, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
hardcover. Zustand: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Bestandsnummer des Verkäufers S_409206603
Beispielbild für diese ISBN
Verification of Sequential and Concurrent Programs (Texts & Monographs in Computer Science)
Verlag:
Springer-Verlag New York, Incorporated (edition ), 1991
ISBN 10: 0387975322
ISBN 13: 9780387975320
Gebraucht
Hardcover
Anbieter: BooksRun, Philadelphia, PA, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Good. It's a preowned item in good condition and includes all the pages. It may have some general signs of wear and tear, such as markings, highlighting, slight damage to the cover, minimal wear to the binding, etc., but they will not affect the overall reading experience. Bestandsnummer des Verkäufers 0387975322-11-1
Beispielbild für diese ISBN
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Anbieter: kelseyskorner, Blaine, WA, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Very Good. 3rd ed. 2009, Corr. 3rd printing. Hardcover book with no markings in good condition.Good clean pages-minor wear.Good clean cover. Bestandsnummer des Verkäufers 6-775001
Beispielbild für diese ISBN
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Bestandsnummer des Verkäufers Z1-S-040-02914
Gebraucht kaufen
EUR 33,54
Versand:
EUR 12,06
Von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Verification Of Sequential And Concurrent Programs (texts And Monographs In Computer Science)
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEOCT25-86763
Beispielbild für diese ISBN
Verification Of Sequential And Concurrent Programs (texts And Monographs In Computer Science)
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Bestandsnummer des Verkäufers ABNR-136834
Beispielbild für diese ISBN
Verification of Sequential and Concurrent Programs (Texts & Monographs in Computer Science)
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Hardcover. Zustand: Like New. Like New. Ships from Multiple Locations. book. Bestandsnummer des Verkäufers ERICA70403879753225
Gebraucht kaufen
EUR 82,91
Versand:
EUR 28,34
Von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar2411530316531
Neu kaufen
EUR 86,28
Versand:
EUR 3,47
Innerhalb der USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Anbieter: Solr Books, Lincolnwood, IL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: new. Bestandsnummer des Verkäufers BCV.0387948961.N