×
![]( "Buchcover ISBN 9783540390343")
Verifying Concurrent Processes Using Temporal Logic
von B. T. HailpernInhaltsverzeichnis
- Programming environment.
- Verification.
- Temporal logic.
- 5. Techniques.
- Network protocols.
- Resource allocation.
- Conclusion.
Verifying Concurrent Processes Using Temporal Logic von B. T. Hailpern | ISBN 9783540390343
Verifying Concurrent Processes Using Temporal Logic
von B. T. HailpernISBN-Daten
Digitalprodukt / E-Book
eBook, PDF
209 SeitenVerlag
Springer BerlinAutor
B. T. Hailpernerschienen am
30.06.2005Sprache
EnglischISBN-10
3-540-39034-0Reihe
Lecture Notes in Computer Science 129Lieferstatus
verfügbarPreis
53,49 €*Lokal-Verfügbarkeit
ca. 15 km um Moreno Valley
**Mit der Eingabe/Ermittlung der Standortdaten willigen Sie der Datenverarbeitung gemäß unserer Datenschutzerklärung ein.
Lokalverfügbarkeit (Karte)