- 5 Resultados
precio mínimo: € 44,99, precio máximo: € 57,86, precio promedio: € 52,36
1
Specifying Message Passing and Time-Critical Systems with Temporal Logic - Ron Koymans
Pedir
por ZVAB.com
€ 57,86
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Ron Koymans:

Specifying Message Passing and Time-Critical Systems with Temporal Logic - Pasta blanda

1992, ISBN: 3540562834

[EAN: 9783540562832], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], FORMALSPECIFICATION; FORMALESPEZIFIKATION; MESSAGEPASSING; REAL-TIMESYSTEMS; SAGE; TEMPORALTEMPORALELOGIK; TIME… Más…

NEW BOOK. Gastos de envío:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
cerrar (X)
2
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Pedir
por Springer.com
€ 53,49
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Specifying Message Passing and Time-Critical Systems with Temporal Logic - libro nuevo

ISBN: 9783540562832

This monograph is concerned with the application of temporal logic to the areas of message passing and time-critical systems. Apart from the practicaluse of temporal logic for these two a… Más…

Nr. 978-3-540-56283-2. Gastos de envío:Worldwide free shipping, , DE. (EUR 0.00)
cerrar (X)
3
Specifying Message Passing and Time-Critical Systems with Temporal Logic (Lecture Notes in Computer Science, 651, Band 651) - Koymans, Ron
Pedir
por amazon.de
€ 51,98
Envío: € 3,001
Pedir
Detalles del proveedor
Enlace patrocinado
Koymans, Ron:
Specifying Message Passing and Time-Critical Systems with Temporal Logic (Lecture Notes in Computer Science, 651, Band 651) - Pasta blanda

2008

ISBN: 9783540562832

Springer, Taschenbuch, Auflage: 1992, 180 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 9783540562832, 0.27 kg, Hardware & Technik, Computer & Internet, K… Más…

Gastos de envío:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
cerrar (X)
4
Specifying Message Passing and Time-Critical Systems with Temporal Logic - Ron Koymans
Pedir
por Hugendubel.de
€ 53,49
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Ron Koymans:
Specifying Message Passing and Time-Critical Systems with Temporal Logic - Pasta blanda

ISBN: 9783540562832

*Specifying Message Passing and Time-Critical Systems with Temporal Logic* - Auflage 1992 / Taschenbuch für 53.49 € / Aus dem Bereich: Bücher, Ratgeber, Computer & Internet Medien > Büche… Más…

Gastos de envío:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
cerrar (X)
5
Pedir
por Biblio.co.uk
$ 47,94
(aprox. € 44,99)
Envío: € 18,111
Pedir
Detalles del proveedor
Enlace patrocinado
Koymans, Ron:
Specifying Message Passing and Time-Critical Systems with Temporal Logic (Lecture Notes in Computer Science) - Pasta blanda

1992, ISBN: 9783540562832

Springer, 1992-12-17. Paperback. Very Good. 6x0x9. Ex-library paperback in very nice condition with the usual markings and attachments., Springer, 1992-12-17, 3

Gastos de envío: EUR 18.11 GuthrieBooks
cerrar (X)
1Dado que algunas plataformas no nos comunican las condiciones de envío y éstas pueden depender del país de entrega, del precio de compra, del peso y tamaño del artículo, de una posible membresía a la plataforma, de una entrega directa por parte de la plataforma o a través de un tercero (Marketplace), etc., es posible que los gastos de envío indicados por eurolibro/terralibro no concuerden con los de la plataforma ofertante.

Datos bibliográficos del mejor libro coincidente

Detalles del libro
Specifying Message Passing and Time-Critical Systems with Temporal Logic (Lecture Notes in Computer Science, 651, Band 651)
Autor:
Título:
ISBN:

3540562834


This monograph is concerned with the application of temporallogic to the areas of message passing and time-criticalsystems. Apart from the practicaluse of temporal logic forthese two application domains, the book also incorporatespure fundamental studies on temporal logic.The motivation to study message passing and time criticalsystems stems from their importance in practice. Messagepassing is one of the most important means of interprocesscommunication in distributed systems, either on a highlevel, as in telecommunications applications, or on a lowerlevel, as in implementations of languages like Ada. As fortime-critical systems, among the growing number of real-timeapplications there are some highly critical systems such ascomputer controlled chemical plants and nuclear powerstations.The monograph shows how standard temporal logic can be usedfor the specification of message passing systems, anddevelops a special temporal logic for reasoning aboutquantitative temporal properties.The main application areais that of distributed real-time systems.

Detalles del libro - Specifying Message Passing and Time-Critical Systems with Temporal Logic (Lecture Notes in Computer Science, 651, Band 651)


EAN (ISBN-13): 9783540562832
ISBN (ISBN-10): 3540562834
Tapa blanda
Año de publicación: 1992
Editorial: Springer
180 Páginas
Peso: 0,281 kg
Idioma: eng/Englisch

Libro en la base de datos desde 2007-09-11T00:45:20-05:00 (Mexico City)
Página de detalles modificada por última vez el 2024-04-16T14:10:51-06:00 (Mexico City)
ISBN/EAN: 3540562834

ISBN - escritura alterna:
3-540-56283-4, 978-3-540-56283-2
Mode alterno de escritura y términos de búsqueda relacionados:
Título del libro: computer systems, passing time, logic computer science, lecture notes computer science, the message, passing through

Datos del la editorial

Autor: Ron Koymans
Título: Lecture Notes in Computer Science; Specifying Message Passing and Time-Critical Systems with Temporal Logic
Editorial: Springer; Springer Berlin
166 Páginas
Año de publicación: 1992-12-14
Berlin; Heidelberg; DE
Idioma: Inglés
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VIII, 166 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Formal Specification; Formale Spezifikation; Message Passing; Real-Time Systems; Sage; Temporal Logic; Temporale Logik; Time-Critical Systems; Zeitsensitive Systeme; computer; distributed systems; logic; real-time; Theory of Computation; Computer System Implementation; Applications of Mathematics; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Systemanalyse und -design; Angewandte Mathematik; EA

How to specify.- A review of modal and temporal logic.- Polymodal logics with inequality.- Message passing systems.- Time-critical systems.- Summary and concluding remarks.
< para archivar...