Dennis Dams – författare
Visar alla böcker från författaren Dennis Dams. Handla med fri frakt och snabb leverans.
6 produkter
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
Av Mieke Massinek, Stefan Leue m. fl.
E-bok, 2003
755 kr
Lägg i varukorg
Increasing the designer’s con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems. Many approaches to reaching this goal have been developed, including rigorous speci cation, formal veri …
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
Av Dennis Dams, Robert Gerth m. fl.
Häftad, 1999
568 kr
Lägg i varukorg
Increasing the designer’s con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems. Many approaches to reaching this goal have been developed, including rigorous speci cation, formal veri …
FM 2009: Formal Methods
Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
Av Ana Cavalcanti, Dennis Dams
Häftad, 2009
1129 kr
Lägg i varukorg
th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the First World Congress on Formal Methods that was held in 1999 in Toulouse, France. We wished to celebrate this by advertising and organizing FM 2009 as the Second World Congress in the FM series, aiming …
FM 2009: Formal Methods
Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
Av Dennis Dams, Ana Cavalcanti
E-bok, 2009
1502 kr
Lägg i varukorg
th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the First World Congress on Formal Methods that was held in 1999 in Toulouse, France. We wished to celebrate this by advertising and organizing FM 2009 as the Second World Congress in the FM series, aiming …
Concurrency, Compositionality, and Correctness
Essays in Honor of Willem-Paul de Roever
Av Dennis Dams, Ulrich Hannemann m. fl.
Häftad, 2010
568 kr
Lägg i varukorg
Why would you read this preface? As we start thinking what to write here, we wonder who is going to read these words. Fromourperspective–thatofwritersaddressinganaudienceofreaders–you are most likely Willem-Paul de Roever. Willem: our main motivation in putting together this Festschrift is to honor …
Concurrency, Compositionality, and Correctness
Essays in Honor of Willem-Paul de Roever
Av Martin Steffen, Ulrich Hannemann m. fl.
E-bok, 2010
739 kr
Lägg i varukorg
Why would you read this preface? As we start thinking what to write here, we wonder who is going to read these words. Fromourperspective–thatofwritersaddressinganaudienceofreaders–you are most likely Willem-Paul de Roever. Willem: our main motivation in putting together this Festschrift is to honor …
