Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Sprache: Englisch

Verlag: Springer, 2009

184882744X / 9781848827448

Serie: Buch 14 von 16 - Monographs in Computer Science

  • Hardcover
  • Gebraucht
Alle Details anzeigen

Anbieter: killarneybooks, Inagh, Clare, Irlandkillarneybooks

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 20. April 2017

Hardcover

Zustand: Gebraucht - Gut bis sehr gut

EUR 25,50

EUR 34,84 Versand 
Versand von Irland nach USA

Anzahl: 1 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

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

Titel
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Autor
Krzysztof R. Apt; Frank S. de Boer; Ernst-Rüdiger Olderog
Verlag
Springer
Erscheinungsjahr
2009
Zustand
Near Fine
Einband
Hardcover
Sprache
Englisch
ISBN-10
184882744X
ISBN-13
9781848827448
Auflage
3rd Edition
Serie
Buch 14 von 16: Monographs in Computer Science

killarneybooks

Inagh, Clare, Irland

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 20. April 2017

Versandkosten von Irland nach USA

Artikel5 bis 7 Werktage2 bis 4 Werktage
Erster ArtikelEUR 34,84EUR 38,00
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Banküberweisung
  • PayPal

Shopbeschreibung

All U.S.-bound orders are now shipped with UPS for reliable delivery. Additional customs or import fees are highly unlikely; however, please note buyers remain responsible for any duties or taxes that U.S. Customs may assess. -- Killarneybooks is a family-run bookshop based in the Republic of Ireland. We take pride in accurate listings, careful packaging, and prompt service - most orders ship within 24 hours. All books listed are in stock and ready for immediate dispatch - we are not dropshippers. Inquiries always welcome.…

Spezialisierung

professional, academic, non-fiction