The research contained in this book represents work on the specification and verification of real-time systems using CSP.Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Prof.JimDaviesisProfessorofSoftwareEngineeringandthedirectorofthe Software Engineering Programme in the Department of Computer Science, University of Oxford. He is a Fellow of Kellogg College. His research interests include the development of automatic generation of systems from re-usable models of structure and functionality, and he is the Principal Investigator on CancerGrid, a consortium to develop open standards for clinical cancer informatics.
Inhaltsangabe
1. The language of CSP 2. The timed failure model 3. Recursive processes 4. Specification 5. Proof 6. Structuring specification 7. Case study 8. Broadcast information 9. Discussion.
1. The language of CSP 2. The timed failure model 3. Recursive processes 4. Specification 5. Proof 6. Structuring specification 7. Case study 8. Broadcast information 9. Discussion.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826
