Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

Kr� ger, Fred

ISBN 10: 3642086802 ISBN 13: 9783642086809

Editorial: Springer, 2010

Idioma: Ingl�s

Condici�n: Usado - Bueno Encuadernaci�n de tapa blanda

Guardar para m�s tarde

Vendido por Book Alley, Pasadena, CA, Estados Unidos de America

Vendedor de AbeBooks desde 10 de diciembre de 1997

Calificaci�n del vendedor: 4 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Usado - Encuadernaci�n de tapa blanda

Condici�n: Usado - Bueno

Precio: EUR 59,44 Convertir moneda

EUR 5,12 gastos de env�o en Estados Unidos de America Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

Minor shelf wear to the covers, otherwise clean and tight and appears to be unread. Pasadena's finest new and used bookstore since 1992.

N� de ref. del art�culo mon0000475461

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

Editor

Springer

Fecha de publicaci�n

2010

Idioma

Ingl�s

ISBN 10

3642086802

ISBN 13

9783642086809

Encuadernaci�n

Paperback

Estado

Very Good

Cat�logos de vendedores

Acerca de

Sinopsis

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.

Cr�ticas

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)

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

We are a general interest book store selling books on all subjects both in store and online. We offer everything from reader's copies to rare books and our services include special orders and worldwide shipping.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Book Alley
CA, U.S.A.

Condiciones de venta y env�o

Condiciones de venta

For orders or inquiries, call or email us
626-683-8083 or Toll Free (888) 457-1899, or bookalley@bookalley.com.
Fax 626-683-8084
We accept Visa, Master Card, American Express, & Discovery cards. Also we accept
checks and money orders.

Derecho a cancelaci�n

Condiciones de env�o

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Tarifas de env�o en Estados Unidos de America

Tarifas de env�o en Estados Unidos de America
Cantidad del pedido	De 5 a 14 d�as h�biles	De 3 a 6 d�as h�biles
Primer art�culo	EUR 5.12	EUR 10.24

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.