Montant total (1 article articles) :
Destination de la commande :
real time systems specification verification (41 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (41)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
- Neuf (31)
- Comme neuf, Très bon ou Bon (8)
- Assez bon ou satisfaisant (2)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (Aucun autre résultat ne correspond à ces critères)
Particularités
- Ed. originale (1)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (15)
- Sans impressions à la demande (33)
Langue (1)
Livraison gratuite
Pays
Evaluation du vendeur
-
Real-Time Systems: Formal Specification and Automatic Verification
Langue: anglais
Edité par Cambridge University Press, 2008
ISBN 10 : 0521883334 ISBN 13 : 9780521883337
Vendeur : WorldofBooks, Goring-By-Sea, WS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 10,28
Expédition à EUR 6,57
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardback. Etat : 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.
-
Specification and Compositional Verification of Real-Time Systems
Langue: anglais
Edité par Springer-Verlag, Berlin, 1991
ISBN 10 : 0387549471 ISBN 13 : 9780387549477
Vendeur : Book Booth, Berea, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 17,12
Expédition à EUR 5,16
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierSoft Cover. Etat : 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)
Langue: anglais
Edité par Springer-Verlag, Berlin, 1991
ISBN 10 : 0387549471 ISBN 13 : 9780387549477
Vendeur : PsychoBabel & Skoob Books, Didcot, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 8,11
Expédition à EUR 14,66
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. Etat de la jaquette : 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
Langue: anglais
Edité par Cambridge University Press, 2008
ISBN 10 : 0521883334 ISBN 13 : 9780521883337
Bonne affaireEUR 26,91
Expédition à EUR 16,50
Expédition depuis France vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : 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
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 62,40
Expédition à EUR 2,31
Expédition nationale : Etats-UnisQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Real-Time Systems: Formal Specification And Automatic Verification
Langue: anglais
Edité par Cambridge University Press, 2008
ISBN 10 : 0521883334 ISBN 13 : 9780521883337
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 69,31
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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
Langue: anglais
Edité par Cambridge University Press, 2008
ISBN 10 : 0521883334 ISBN 13 : 9780521883337
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 69,87
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 3 disponible(s)
Ajouter au panierEtat : 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
Langue: anglais
Edité par Cambridge University Press, 2008
ISBN 10 : 0521883334 ISBN 13 : 9780521883337
Vendeur : SMASS Sellers, IRVING, TX, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 73,36
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science, 558)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 61,38
Expédition à EUR 14,05
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Real-Time Systems: Formal Specification and Automatic Verification
Langue: anglais
Edité par Cambridge University Press, 2008
ISBN 10 : 0521883334 ISBN 13 : 9780521883337
Vendeur : The Book Spot, Sioux Falls, MN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 75,68
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : New.
-
Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 57,72
Expédition à EUR 18,17
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierPaperback. Etat : New.
-
Specification and Compositional Verification of Real-time Systems
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 75,20
Expédition à EUR 2,31
Expédition nationale : Etats-UnisQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New.
-
Specification and Compositional Verification of Real-time Systems
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 60,72
Expédition à EUR 17,60
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Specification and Seamless Verification ofEmbedded Real-Time Systems: FOCUS on Isabelle
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 76,45
Expédition à EUR 3,49
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Specification and Seamless Verification of Embedded Real-Time Systems : Focus on Isabelle
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 77,68
Expédition à EUR 2,31
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Specification and Compositional Verification of Real-time Systems
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 67,58
Expédition à EUR 17,60
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Specification and Seamless Verification ofEmbedded Real-Time Systems: FOCUS on Isabelle
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 76,70
Expédition à EUR 14,05
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Specification and Seamless Verification ofEmbedded Real-Time Systems: FOCUS on Isabelle
Langue: anglais
Edité par VDM Verlag Dr. M�ller 2008-04-15, 2008
ISBN 10 : 3836494523 ISBN 13 : 9783836494526
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 73,27
Expédition à EUR 18,17
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierPaperback. Etat : New.
-
Specification and Seamless Verification of Embedded Real-Time Systems : Focus on Isabelle
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 76,26
Expédition à EUR 17,60
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Specification and Compositional Verification of Real-Time Systems
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Expédition à EUR 61,94
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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
Langue: anglais
Edité par Cambridge University Press, 2008
ISBN 10 : 0521883334 ISBN 13 : 9780521883337
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 118,92
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 94,25
Expédition à EUR 29,33
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierpaperback. Etat : Like New. Like New. book.
-
Real-Time Systems: Formal Specification and Automatic Verification
Langue: anglais
Edité par Cambridge University Press, 2008
ISBN 10 : 0521883334 ISBN 13 : 9780521883337
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 113,36
Expédition à EUR 14,05
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Specification and Seamless Verification ofEmbedded Real-Time Systems
Langue: anglais
Edité par VDM Verlag Dr. Müller|VDM Verlag Dr. Müller e.K., 2013
ISBN 10 : 3836494523 ISBN 13 : 9783836494526
EUR 81,92
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierKartoniert / Broschiert. Etat : 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
Langue: anglais
Edité par Cambridge University Press, 2008
ISBN 10 : 0521883334 ISBN 13 : 9780521883337
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 122,22
Expédition à EUR 10,50
Expédition depuis Irlande vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : 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,50
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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)
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 125,67
Expédition à EUR 29,33
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Edition internationaleREAL TIME SYSTEMS FORMAL SPECIFICATION AND AUTOMATIC VERIFICATION (HB 2008)
Langue: anglais
Edité par CAMBRIDGE UNIVERSITY PRESS, 2008
ISBN 10 : 0521883334 ISBN 13 : 9780521883337
Vendeur : UK BOOKS STORE, London, LONDO, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 158,46
Livraison gratuite
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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 6-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.
-
Real-Time Systems: Formal Specification and Automatic Verification
Langue: anglais
Edité par Cambridge University Press, 2008
ISBN 10 : 0521883334 ISBN 13 : 9780521883337
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 155,50
Expédition à EUR 9,18
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : 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.
-
Real-Time Systems: Formal Specification and Automatic Verification
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 160,34
Expédition à EUR 14,66
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierHardcover. Etat : Brand New. 1st edition. 340 pages. 9.27x7.00x0.75 inches. In Stock.
