Frank S. de Boer - Böcker
Verification of Sequential and Concurrent Programs
Av Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Frank S. De Boer
Häftad, Engelska, 2012
1 169 kr
Verification of Sequential and Concurrent Programs
Av Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Frank S. De Boer
Inbunden, Engelska, 2009
1 449 kr
Formal Methods for Components and Objects
Av Frank S.de Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul de Roever, Frank S. de Boer
Häftad, Engelska, 2003
729 kr
Formal Methods for Components and Objects
Av Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
Häftad, Engelska, 2004
729 kr
Formal Methods for Components and Objects
Av Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever, Frank S. De Boer
Häftad, Engelska, 2005
729 kr
Formal Methods for Components and Objects
Av Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever, Frank S. De Boer
Häftad, Engelska, 2006
729 kr
Formal Methods for Components and Objects
Av Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever, Frank S. De Boer
Häftad, Engelska, 2007
729 kr
Häftad, Engelska, 2009
729 kr
Formal Methods for Components and Objects
Av Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel, Frank S. De Boer
Häftad, Engelska, 2011
729 kr
Formal Methods for Components and Objects
Av Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue, Frank S. De Boer
Häftad, Engelska, 2011
729 kr
Häftad, Engelska, 2012
709 kr
Formal Methods for Components and Objects
Av Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue
Häftad, Engelska, 2013
729 kr
Formal Methods for Components and Objects
Av Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue
Häftad, Engelska, 2013
679 kr