Theoretical and Practical Aspects of SPIN Model Checking

Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings 1st Auflage verfasst von Dennis Dams; Robert Gerth; Stefan Leue; Mieke Massinek und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Theoretical and Practical Aspects of SPIN Model Checking lauten 9783540482345, 3540482342 und die Druck-ISBNs lauten 9783540664994, 3540664998. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings 1st Auflage verfasst von Dennis Dams; Robert Gerth; Stefan Leue; Mieke Massinek und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Theoretical and Practical Aspects of SPIN Model Checking lauten 9783540482345, 3540482342 und die Druck-ISBNs lauten 9783540664994, 3540664998. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.