luca aceto
Automata, Languages and Programming
EbookSofort lieferbarThe two-volume set LNCS 6755 and LNCS 6756 constitutes the refereed proceedings of the 38th Inter...
Reactive Systems
EbookSofort lieferbarFormal methods is the term used to describe the specification and verification of software and so...
Automata, Languages and Programming
EbookSofort lieferbarThe two-volume set LNCS 6755 and LNCS 6756 constitutes the refereed proceedings of the 38th Inter...
Automata, Languages and Programming
EbookSofort lieferbarThe two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th Inter...
Automata, Languages and Programming
EbookSofort lieferbarThe two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th Inter...
Models, Algorithms, Logics and Tools
EbookSofort lieferbarThis Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors o...
Foundations of Software Science and Computational Structures
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 9th International Conference on Foundations...
Reactive Systems
BuchBezug 11-15Formal methods is the term used to describe the specification and verification of software and so...
Automata, Languages and Programming
TaschenbuchBezug 11-15The two-volume set LNCS 6755 and LNCS 6756 constitutes the refereed proceedings of the 38th Inter...
Models, Algorithms, Logics and Tools
TaschenbuchBezug 11-15This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursor...
Automata, Languages and Programming
TaschenbuchBezug 16-20The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th Inter...
- 1