Modal and Temporal Properties of Processes

Stirling, Colin:

ISBN 10: 0387987177 ISBN 13: 9780387987170

Published by Springer Verlag, 2001

Language: English

Condition: Used - Very good Hardcover

Save for Later

Sold by avelibro OHG, Dinkelscherben, Germany

Association Member:

BOEV

AbeBooks Seller since October 17, 2019

Seller rating 5 out of 5 stars

View this seller's items

View all copies of this book

Used - Hardcover

Condition: Used - Very good

Price: US$ 18.06 Convert Currency

US$ 32.87 shipping from Germany to U.S.A. Destination, rates & speeds

Quantity: 1 available

Add to basket

Free 30-day returns

Save for Later

About this Item

XII, 190 Seiten Mit 45 Abbildungen. - Innen sehr sauberer, guter Zustand. Hardcover, Pappeinband, mit den �blichen Bibliotheks-Markierungen, Stempeln und Eintr�gen, innen wie au�en, siehe Bilder. Sehr gutes Bibliotheksexemplar. - Texts in Computer Science. B06-03-06C|A40 Sprache: Englisch Gewicht in Gramm: 550.

Seller Inventory # 2025074

Contact seller

Report this item

Bibliographic Details

Title

Modal and Temporal Properties of Processes

Publisher

Springer Verlag

Publication Date

2001

Language

English

ISBN 10

0387987177

ISBN 13

9780387987170

Binding

23,5 x 17,5 cm

Edition

1. Auflage.

Condition

Gut

Seller catalogs

Modernes Antiquariat

About this title

Synopsis

Recently, temporal and modal logic, process calculus, and model checking have become essential software techniques for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods in all areas of computer science and software programming.

"About this title" may belong to another edition of this title.

Store Description

Visit Seller's Storefront

Association Member

Members of these associations are committed to maintaining the highest standards. They vouch for the authenticity of all items offered for sale. They provide expert and detailed descriptions, disclose all significant defects and/or restorations, provide clear and accurate pricing, and operate with fairness and honesty during the purchase experience.

Seller's business information

avelibro OHG
R�merstr. 4, Dinkelscherben, 86424, Germany

Sale & Shipping Terms

Terms of Sale

Allgemeine Gesch�ftsbedingungen mit Kundeninformationen

Inhaltsverzeichnis

Geltungsbereich
Vertragsschluss
Widerrufsrecht
Preise und Zahlungsbedingungen
Liefer- und Versandbedingungen
Eigentumsvorbehalt
M�ngelhaftung
Anwendbares Recht
Gerichtsstand
Alternative Streitbeilegung

Geltungsbereich
1.1 Diese Allgemeinen Gesch�ftsbedingungen (nachfolgend "AGB") der avelibro OHG (nachfolgend "Verk�ufer"), gelten f�r alle Vertr�ge, die ein Verbraucher oder Unternehmer (nachfolgend ?Kunde?) mit dem Verk�ufer hins...

More Information

Shipping Terms

Shipping rates from Germany to U.S.A.

Shipping rates from Germany to U.S.A.
Order quantity	5 to 10 business days	5 to 10 business days
First item	US$ 32.87	US$ 32.87

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.