Search Results facets
Search Results List
0
selected titles
Reached limit!
Clear basket
Search result number | Book jacket cover art | Item details and Actions | ||||||||
---|---|---|---|---|---|---|---|---|---|---|
1. |
|
Elementary Logic For Software Development
![]()
|
||||||||
2. |
|
Krister Segerberg on Logic of Actions
![]()
|
||||||||
3. |
|
Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
![]()
|
||||||||
4. |
|
Verification of Sequential and Concurrent Programs
![]()
|
||||||||
5. |
|
Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers
![]()
|
||||||||
6. |
|
A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors
![]()
|
||||||||
7. |
|
Transactions on Petri Nets and Other Models of Concurrency VIII
![]()
|
||||||||
8. |
|
Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems
![]()
|
||||||||
9. |
|
Introduction to the Theory of Programming Languages
![]()
|
||||||||
10. |
|
Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings
![]()
|