Formal methods is the term used to describe the specification and verification of software and so...
Unser bisheriger Preis:ORGPRICE: 120,00 €
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th Inter...
Unser bisheriger Preis:ORGPRICE: 163,14 €
Formal methods is the term used to describe the specification and verification of software and so...
Unser bisheriger Preis:ORGPRICE: 103,24 €
This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors o...
Unser bisheriger Preis:ORGPRICE: 57,19 €
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th Inter...
Unser bisheriger Preis:ORGPRICE: 113,51 €
This book constitutes the refereed proceedings of the 9th International Conference on Foundations...
Unser bisheriger Preis:ORGPRICE: 58,12 €