Select All Results 1 - 100 of 1108 1 2 3 4 5 6 7 8 9 10 Next >>
	1. Title: Elementary Logic For Software Development / by Robert Lover. Author: Lover, Robert. Publication: Springer London, London : 2008.
	2. Title: Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings / edited by Martin Leucker, Camilo Rueda, Frank D. Valencia. Lecture Notes in Computer Science, Lecture notes in computer science, Publication: Springer International Publishing : Imprint: Springer, Cham : 2015. Edition: 1st ed. 2015.
	3. Title: Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems / by Howard Bowman, Rodolfo Gomez. Author: Bowman, Howard. Publication: Springer-Verlag London Limited, London : 2006.
	4. Title: Abstract Computing Machines A Lambda Calculus Perspective / by W. Kluge ; edited by W. Brauer, G. Rozenberg, A. Salomaa. Texts in Theoretical Computer Science, An EATCS Series Author: Kluge, W. Publication: Springer-Verlag Berlin Heidelberg, Berlin, Heidelberg : 2005.
	5. Title: A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors / by Reino Kurki-Suonio. Texts in Theoretical Computer Science An EATCS Series Author: Kurki-Suonio, Reino. Publication: Springer-Verlag Berlin Heidelberg, Berlin, Heidelberg : 2005.
	6. Title: Semantics with Applications: An Appetizer by Hanne Riis Nielson, Flemming Nielson. Undergraduate Topics in Computer Science Author: Nielson, Hanne Riis. Publication: Springer-Verlag London Limited, London : 2007.
	7. Title: Verification of Sequential and Concurrent Programs by Krzysztof R. Apt, Frank S. Boer, Ernst-Rüdiger Olderog. Texts in Computer Science, Texts in computer science, Author: Apt, Krzysztof R. Publication: Springer London, London : 2009.
	8. Title: Abstraction, Refinement and Proof for Probabilistic Systems by Annabelle McIver, Carroll Morgan. Monographs in Computer Science, Author: McIver, Annabelle. Publication: Springer Science+Business Media, Inc., New York, NY : 2005.
	9. Title: Model Checking Software (vol. # 3639) 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings edited by Patrick Godefroid. Lecture notes in computer science, Author: Godefroid, Patrick. Publication: Springer-Verlag GmbH., Berlin Heidelberg : 2005
	10. Title: A Theory of Distributed Objects Asynchrony — Mobility — Groups — Components / by Denis Caromel, Ludovic Henrio. Author: Caromel, Denis. Publication: Springer-Verlag Berlin Heidelberg, Berlin, Heidelberg : 2005.
	Results 1 - 100 of 1108 1 2 3 4 5 6 7 8 9 10 Next >>

Duplicate Items

Add to My List

Print

Sorts and Limits

Sorts:  None Author Publication Date Publisher Subject Title