Computer Aided Verification
The 52 full and 13 tool papers presented together...
- Kauf auf Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
53.49 €
Smart Learning Objects for Smart Education in Computer Science
Vytautas Stuikys
129.99 €
Vorlesungen über Informatik: Bd.1 Vorlesungen über Informatik
Gerhard Goos, Wolf Zimmermann
22.99 €
The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verication to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
- 2018, 1st ed., xx, 545 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Verlag: Springer, Berlin
- ISBN-10: 3319961411
- ISBN-13: 9783319961415
- Erscheinungsdatum: 22.07.2018
53.49 €
Smart Learning Objects for Smart Education in Computer Science
Vytautas Stuikys
129.99 €
Vorlesungen über Informatik: Bd.1 Vorlesungen über Informatik
Gerhard Goos, Wolf Zimmermann
22.99 €
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Keine Kommentare vorhanden
Jetzt bewertenSchreiben Sie den ersten Kommentar zu "Computer Aided Verification".
Kommentar verfassen