DREAM (Software): Platform-Independent, Formal Specification, Formal Semantics of Programming Languages - Couverture souple
Résultats de recherche pour DREAM (Software): Platform-Independent, Formal Specification...
Image fournie par le vendeur
DREAM (Software)
impression à la demandeVendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 100 pp. Englisch. N° de réf. du vendeur 9786133292437
Acheter neuf
EUR 136
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
DREAM (Software)
impression à la demandeVendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Please note that the content of this book primarily consists of articlesavailable from Wikipedia or other free sources online. The DistributedReal-time Embedded Analysis Method (DREAM) is a platform-independentopen-source tool for the verification and analysis of distributedreal-time and embedded (DRE) systems which focuses on the practicalapplication of formal verification and timing analysis to real-timemiddleware. DREAM supports formal verification of scheduling based ontask timed automata using the Uppaal model checker and the Verimag IFtoolset as well as the random testing of real-time components using adiscrete event simulator. DREAM is developed at the Center for EmbeddedComputer Systems at the University of California, Irvine, in cooperationwith researchers from Vanderbilt University.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 100 pp. Englisch. N° de réf. du vendeur 9786133292437
Acheter neuf
EUR 136
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
DREAM (Software) : Platform-Independent, Formal Specification, Formal Semantics of Programming Languages
impression à la demandeVendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering. N° de réf. du vendeur 9786133292437
Acheter neuf
EUR 137,63
Expédition à EUR 60,84
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)