|
|
1.
|
|
Formal Specification and Automatic Verification
|
|
|
|
2.
|
|
Three Views of Concurrent Processes and Their...
-
Author:
-
Olderog, E. -R.
-
ISBN:
-
978-0-511-52658-9
-
Book Format:
- Digital (delivered electronically)
-
List Price:
- AUD $200.00
-
Publisher:
- Cambridge University Press
-
Publication Date:
- Jan 2010
|
|
|
|
3.
|
|
Formal Specification and Automatic Verification
|
|
|
|
4.
|
|
Three Views of Concurrent Processes and Their...
-
Author:
-
Olderog, E. -R.
-
ISBN:
-
978-0-511-87848-0
-
Book Format:
- Ebook
-
List Price:
- Contact Supplier contact
-
Publisher:
- Cambridge University Press
-
Publication Date:
- Feb 2011
|
|
|
|
5.
|
|
|
|
|
|
6.
|
|
Formal Specification and Automatic Verification
|
|
|
|
7.
|
|
-
Author:
-
Olderog, Torsten
-
ISBN:
-
978-3-8386-3441-8
-
Book Format:
- Paperback
-
List Price:
- USD $56.50
-
Publisher:
- Diplomarbeiten Agentur diplom.de. ein Imprint der Diplomica
-
Publication Date:
- May 2001
|
|
|
|
8.
|
|
Three Views of Concurrent Processes and Their...
-
Author:
-
Olderog, E. -R.
-
ISBN:
-
978-0-511-87848-0
-
Book Format:
- Ebook
-
List Price:
- Contact Supplier contact
-
Publisher:
- Cambridge University Press
-
Publication Date:
- Feb 2011
|
|
|
|
9.
|
|
Sequentielle, Parallele und Verteilte Programme
|
|
|
|
10.
|
|
Formal Specification and Automatic Verification
|
|
|
|
11.
|
|
Three Views of Concurrent Processes and Their...
|
|
|
|
12.
|
|
|
|
|
|
13.
|
|
Three Views of Concurrent Processes and Their...
|
|
|
|
14.
|
|
Three Views of Concurrent Processes and Their...
-
Author:
-
Olderog, E. -R.
-
ISBN:
-
978-0-511-52658-9
-
Book Format:
- Digital (delivered electronically)
-
List Price:
- USD $165.00
-
Publisher:
- Cambridge University Press
-
Publication Date:
- Jan 2010
|
|
|
|
15.
|
|
Formal Specification and Automatic Verification
|
|
|
|
16.
|
|
Three Views of Concurrent Processes and Their...
|
|
|
|
17.
|
|
Formal Specification and Automatic Verification
|
|
|
|
18.
|
|
|
|
|
|
19.
|
|
|
|
|
|
20.
|
|
|
|