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

Kröger, Fred, Merz, Stephan

ISBN 10: 3540674012 ISBN 13: 9783540674016

Editorial: Springer (edition 2008), 2008

Idioma: Ingl�s

Condici�n: Usado - Aceptable Encuadernaci�n de tapa dura

Guardar para m�s tarde

Vendido por BooksRun, Philadelphia, PA, Estados Unidos de America

Vendedor de AbeBooks desde 2 de febrero de 2016

Calificaci�n del vendedor: 5 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Usado - Encuadernaci�n de tapa dura

Condici�n: Usado - Aceptable

Precio: EUR 38,33 Convertir moneda

EUR 64,02 gastos de env�o desde Estados Unidos de America a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.

N� de ref. del art�culo 3540674012-11-1

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 (edition 2008)

Fecha de publicaci�n

2008

Idioma

Ingl�s

ISBN 10

3540674012

ISBN 13

9783540674016

Encuadernaci�n

Hardcover

Edici�n

2008.

Estado

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

BooksRun helps to save money on textbooks. We are committed to providing each customer with the highest standard of customer service. Please pay close attention to the description of the book and its condition you are ordering. If you have any questions or issues, please make sure to contact us first so we could resolve them. All orders are shipped on the same or the next business day. It usually takes 1 to 5 business days to receive your item if you choose expedited shipping. All orders submitted are eligible for a return within 30 days after the delivery. Thanks for shopping with us!

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

AZ Texts LLC
228 Park Ave S Suite 38827, New York, NY, 10003, U.S.A.

Condiciones de venta y env�o

Condiciones de venta

Derecho a cancelaci�n

Condiciones de env�o

Tarifas de env�o de Estados Unidos de America a Espa�a

Tarifas de env�o de Estados Unidos de America a Espa�a
Cantidad del pedido	De 25 a 45 d�as h�biles	De 8 a 14 d�as h�biles
Primer art�culo	EUR 64.02	EUR 64.02

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.