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 459 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
739 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
739 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
739 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
739 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
739 kr
Häftad, Engelska, 2009
739 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
739 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
739 kr
Theoretical Computer Science
Av Jos C.M. Baeten, Tom Ball, Frank S. de Boer, Jos C. M. Baeten, Frank S. De Boer
Häftad, Engelska, 2012
719 kr
Formal Methods for Components and Objects
Av Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue, Frank S. De Boer
Häftad, Engelska, 2013
739 kr
Formal Methods for Components and Objects
Av Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue, Reiner Hahnle, Frank S. De Boer
Häftad, Engelska, 2013
679 kr