Search Results facets
Search Results List
0
selected titles
Reached limit!
Clear basket
Search result number | Book jacket cover art | Item details and Actions | ||||||||
---|---|---|---|---|---|---|---|---|---|---|
11. |
|
Mathematical Problems from Applied Logic I Logics for the XXIst Century
E-book
|
||||||||
12. |
|
Understanding Concurrent Systems
E-book
|
||||||||
13. |
|
Semantics with Applications: An Appetizer
E-book
|
||||||||
14. |
|
Abstract Computing Machines A Lambda Calculus Perspective
E-book
|
||||||||
15. |
|
A Theory of Distributed Objects Asynchrony — Mobility — Groups — Components
E-book
|
||||||||
16. |
|
Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
E-book
|
||||||||
17. |
|
Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings
E-book
|
||||||||
18. |
|
The Correctness-by-Construction Approach to Programming
E-book
|
||||||||
19. |
|
B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings
E-book
|
||||||||
20. |
|
ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings
E-book
|