Importo totale (1 articolo articoli):
Destinazione ordine:
real time systems specification verification (41 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (41)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (30)
- Come nuovo, Ottimo o Quasi ottimo (8)
- Molto buono o Buono (3)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
Ulteriori caratteristiche
- Prima ed. (2)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (16)
- Non Print on Demand (34)
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Soft Cover. Condizione: New. New condition with a remainder mark on the bottom edge. 235pp. Volume 558 in Springer's 'Lecture Notes in Computer Science' series. "The aim of this book is to develop a formal framework for the specification and compositional verification of real-time embedded systems. Thus, in addition to the usual functional behavior, also timing properties of programs are considered. Programs are written in a real-time distributed programming language with synchronous message passing along unidirectional channels between concurrent processes. The language includes real-time constructs to allow the programming of time-outs. To compare different approaches, two formalisms are investigated: Metric Temporal Logic, and Hoare triples (precondition, program, postcondition). The MTL approach provides a concise notation to express timing properties and to axiomatize the programming language, whereas Hoare-style formulae are especially convenient for the verification of sequential constructs. For both frameworks a compositional proof system is formulated to verify programs, making it possible to split up correctness proofs and to verify design steps during the process of program design.
-
Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science 558)
Da: PsychoBabel & Skoob Books, Didcot, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 8,01
Spedizione EUR 14,50
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Condizione sovraccoperta: No Dust Jacket. Lecture Notes in Computer Science 558; Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.
-
Real-Time Systems: Formal Specification and Automatic Verification
Lingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Da: WorldofBooks, Goring-By-Sea, WS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 17,06
Spedizione EUR 6,49
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardback. Condizione: Good. The book has been read but remains in clean condition. All pages are intact and the cover is intact. Some minor wear to the spine.
-
Real-Time Systems: Formal Specification and Automatic Verification
Lingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
AffareEUR 26,91
Spedizione EUR 16,50
Spedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Bon. Ancien livre de bibliothèque avec équipements. Edition 2008. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 2008. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Specification and Compositional Verification of Real-time Systems
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition.
-
Real-Time Systems Specification Verification and Analysis
Da: Webbooks, Wigtown, Wigtown, Regno Unito
Membro dell'associazione: PBFA
Valutazione del venditore 5 su 5 stelle
Prima edizione
EUR 33,45
Spedizione EUR 34,79
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoft Cover. Condizione: Very Good. No Jacket. First Edition. Clean bright copy. 328943.
-
Real-Time Systems: Formal Specification And Automatic Verification
Lingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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.
-
REAL-TIME SYSTEMS: FORMAL SPECIFICATION AND AUTOMATIC VERIFICATION
Lingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Real-Time Systems: Formal Specification and Automatic Verification
Lingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Da: The Book Spot, Sioux Falls, MN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: New.
-
Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science, 558)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,68
Spedizione EUR 13,89
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 57,06
Spedizione EUR 17,97
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Specification and Compositional Verification of Real-time Systems
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Specification and Compositional Verification of Real-time Systems
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,03
Spedizione EUR 17,40
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Specification and Seamless Verification ofEmbedded Real-Time Systems: FOCUS on Isabelle
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 75,72
Spedizione EUR 3,43
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Specification and Seamless Verification of Embedded Real-Time Systems : Focus on Isabelle
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 76,92
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Specification and Compositional Verification of Real-time Systems
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 66,87
Spedizione EUR 17,40
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Specification and Seamless Verification ofEmbedded Real-Time Systems: FOCUS on Isabelle
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 75,83
Spedizione EUR 13,89
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Specification and Seamless Verification ofEmbedded Real-Time Systems: FOCUS on Isabelle
Lingua: Inglese
Editore: VDM Verlag Dr. M�ller 2008-04-15, 2008
ISBN 10: 3836494523 ISBN 13: 9783836494526
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 72,43
Spedizione EUR 17,97
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Specification and Seamless Verification of Embedded Real-Time Systems : Focus on Isabelle
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 75,26
Spedizione EUR 17,40
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Real-Time Systems: Formal Specification and Automatic Verification
Lingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 116,84
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
EUR 53,49
Spedizione EUR 61,94
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - The research described in this monograph concerns the formalspecification and compositional verification of real-timesystems. A real-time programminglanguage is considered inwhich concurrent processes communicate by synchronousmessage passing along unidirectional channels. To specifiyfunctional and timing properties of programs, two formalismsare investigated: one using a real-time version of temporallogic, called Metric Temporal Logic, and another which isbasedon extended Hoare triples. Metric Temporal Logicprovides a concise notationto express timing properties andto axiomatize the programming language, whereas Hoare-styleformulae are especially convenient for the verification ofsequential constructs. For both approaches a compositionalproof system has been formulated to verify that a programsatisfies a specification. To deduce timing properties ofprograms, first maximal parallelism is assumed, modeling thesituation in which each process has itsown processor. Nextthis model is generalized to multiprogramming where severalprocesses may share a processor and scheduling is based onpriorities. The proof systems are shown to be sound andrelatively complete with respect to a denotational semanticsof the programming language. The theory is illustrated by anexample of a watchdog timer.
-
Real-Time Systems: Formal Specification and Automatic Verification
Lingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 107,18
Spedizione EUR 13,89
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 93,18
Spedizione EUR 29,00
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrellopaperback. Condizione: Like New. Like New. book.
-
EUR 50,25
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Specification and Compositional Verification of Real-Time Systems | Jozef Hooman | Taschenbuch | x | Englisch | 1991 | Springer | EAN 9783540549475 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Specification and Seamless Verification ofEmbedded Real-Time Systems
Lingua: Inglese
Editore: VDM Verlag Dr. Müller|VDM Verlag Dr. Müller e.K., 2013
ISBN 10: 3836494523 ISBN 13: 9783836494526
EUR 81,92
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloKartoniert / Broschiert. Condizione: New. The purpose of this thesis is to create a coupling of the formal specification framework Focus in the generic theorem prover Isabelle/HOL, a logical framework based on Higher-Order Logic. The main focus of this work is on specification and verification of s.
-
Real-Time Systems: Formal Specification and Automatic Verification
Lingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
Prima edizione
EUR 122,22
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Explains real-time specification techniques (duration calculus, timed automata, and PLC-automata) needed for embedded safety-critical applications. Num Pages: 344 pages, 26 b/w illus. 26 tables 50 exercises. BIC Classification: UT. Category: (P) Professional & Vocational. Dimension: 180 x 249 x 18. Weight in Grams: 810. . 2008. 1st Edition. hardcover. . . . .
-
EUR 66,40
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Specification and Seamless Verification ofEmbedded Real-Time Systems | FOCUS on Isabelle | Maria Spichkova | Taschenbuch | Kartoniert / Broschiert | Englisch | 2013 | VDM Verlag Dr. Müller | EAN 9783836494526 | Verantwortliche Person für die EU: OmniScriptum GmbH & Co. KG, Bahnhofstr. 28, 66111 Saarbrücken, info[at]akademikerverlag[dot]de | Anbieter: preigu.
-
Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science)
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 124,24
Spedizione EUR 29,00
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Edizione InternazionaleREAL TIME SYSTEMS FORMAL SPECIFICATION AND AUTOMATIC VERIFICATION (HB 2008)
Lingua: Inglese
Editore: CAMBRIDGE UNIVERSITY PRESS, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Da: UK BOOKS STORE, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 152,07
Spedizione EUR 6,95
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. Brand New ! Fast Delivery "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 4-6 Working days .and we do have flat rate for up to 2LB. Extra shipping charges will be requested This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
-
Real-Time Systems: Formal Specification and Automatic Verification
Lingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521883334 ISBN 13: 9780521883337
Da: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 152,78
Spedizione EUR 9,02
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Explains real-time specification techniques (duration calculus, timed automata, and PLC-automata) needed for embedded safety-critical applications. Num Pages: 344 pages, 26 b/w illus. 26 tables 50 exercises. BIC Classification: UT. Category: (P) Professional & Vocational. Dimension: 180 x 249 x 18. Weight in Grams: 810. . 2008. 1st Edition. hardcover. . . . . Books ship from the US and Ireland.
