F

Frank S. de Boer

7 books found

Books by Frank S. de Boer
Formal Methods for Components and ObjectsFrank S. de Boer
⏱ 4h 10m

Formal Methods for Components and Objects

Frank S. de Boer

2010250 pp.
Formal Methods for Components and Objects Lecture Notes in Computer ScienceFrank S. de Boer

Formal Methods for Components and Objects Lecture Notes in Computer Science

Frank S. de Boer

2009No page data
Formal methods for components and objectsFrank S. de Boer
⏱ 4h 43m

Formal methods for components and objects

Frank S. de Boer

2004283 pp.
Formal Methods for Open Object-Based Distributed SystemsFrank S. De Boer,Gilles Barthe

Formal Methods for Open Object-Based Distributed Systems

Frank S. De Boer,Gilles Barthe

2008No page data
Verification of Sequential and Concurrent ProgramsKrzysztof Apt
⏱ 8h 48m

Verification of Sequential and Concurrent Programs

Krzysztof Apt

2010528 pp.
Formal Methods for Components and ObjectsFrank S. De Boer,Marcello M. Bonsangue,Stefan Hallerstede

Formal Methods for Components and Objects

Frank S. De Boer,Marcello M. Bonsangue,Stefan Hallerstede

2011No page data
Formal methods for components and objectsFrank S. de Boer
⏱ 8h 31m

Formal methods for components and objects

Frank S. de Boer

2003511 pp.