Items related to Temporal Logic and State Systems (Texts in Theoretical...
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series) - Hardcover
Synopsis
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories.
All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as a basic source and reference for lecturers, graduate students and researchers.
"synopsis" may belong to another edition of this title.
Review
From the reviews:
"In the book under review, significant new materials and approaches are included, in particular, branching time logics, expressiveness issues of temporal logic, aspects related to Lamport’s Temporal Logic of Actions (TLA), and model checking methods. ... The book is well written and almost self-contained. It can be useful as an introduction and reference for scientists and practicing software engineers who want to familiarize themselves with the field. The book can be used for courses at the advanced undergraduate and the graduate levels.” (Regimantas Pliuškevicius, Mathematical Reviews, Issue 2009 m)
“The book consists of 11 chapters, followed by a list of temporal logic laws and axiomatic systems, a bibliography with 161 references, and a subject index. Each chapter ends with brief bibliographic notes. ... This is a rich in content book, with many important topics and examples treated in much technical depth. ... a rich, useful, and valuable text, that can be recommended as a research reference, graduate course textbook, or a source for self-study on temporal logic in computer science.” (Valentin Goranko, Studia Logica, Vol. 94, 2010)
"About this title" may belong to another edition of this title.
Buy New
View this item
£ 31.69
FREE shipping from U.S.A. to United Kingdom
Destination, rates & speedsOther Popular Editions of the Same Title
Search results for Temporal Logic and State Systems (Texts in Theoretical...
Seller Image
Foundations of Digital Signal Processing: Theory, algorithms and hardware design (Materials, Circuits and Devices).
Published by
The Institution of Engineering and Technology., 2004
ISBN 10: 3540674012
ISBN 13: 9783540674016
Used
Hardcover
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germany
Seller rating 5 out of 5 stars
2008th ed. 16 x 23 cm. 484 pages. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch. Seller Inventory # 6325VB
Quantity: 1 available
Stock Image
Temporal Logic And State Systems (Hb)
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # ABNR-76022
Quantity: 5 available
Stock Image
Temporal Logic And State Systems (Hb 2008)
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-268780
Quantity: Over 20 available
Stock Image
Temporal Logic And State Systems (Hb)
Seller: SMASS Sellers, IRVING, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. Seller Inventory # ASNT3-76022
Quantity: 5 available
Stock Image
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Published by
Springer (edition 2008), 2008
ISBN 10: 3540674012
ISBN 13: 9783540674016
Used
Hardcover
Seller: BooksRun, Philadelphia, PA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. 2008. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. Seller Inventory # 3540674012-11-1
Quantity: 1 available
International Edition
Temporal Logic And State Systems (Hb)
International EditionSeller: UK BOOKS STORE, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 7-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability. Seller Inventory # CBS 9783540674016
Quantity: Over 20 available
International Edition
Temporal Logic And State Systems (Hb)
International EditionSeller: URW Books Store, CASPER, WY, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. Brand New! . "This is an International Edition." Book is In New condition and ship within One Working Day Tracking Number Provided by Customer 12-24 In To Hour, Deliver by FedEx & Aramex, UPS, & USPS Act. Order can be delivered worldwide With In 7-10 Working day Delivery. Ship from India & United States. Seller Inventory # CBSBOOKS15067
Quantity: Over 20 available
Stock Image
Temporal Logic And State Systems
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # ABNR-92093
Quantity: 1 available
Stock Image
Temporal Logic And State Systems
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-268781
Quantity: 1 available
Stock Image
Temporal Logic And State Systems
Seller: SMASS Sellers, IRVING, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. Seller Inventory # ASNT3-92093
Quantity: 1 available