Results of search for 'su:"Logics and Meanings of Programs"'

Results
	1.	Abstraction, Refinement and Proof for Probabilistic Systems by Annabelle McIver, Charles Carroll Morgan Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	2.	Adapting Proofs-as-Programs by Iman Poernomo, John N. Crossley, Martin Wirsing Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	3.	Abstract Computing Machines by Werner Kluge Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	4.	A Practical Theory of Reactive Systems by R. Kurki-Suonio Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	5.	Categories for Software Engineering by Jose Luiz Fiadeiro Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	6.	Theoretical Aspects of Computing - ICTAC 2005 by Dang Van Hung, Martin Wirsing Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	7.	FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science by R. Ramanujam, Sandeep Sen Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	8.	Logic Programming and Nonmonotonic Reasoning by Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	9.	Formal Methods and Software Engineering by Kung-Kiu Lau, Richard Banach Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	10.	Rapid Integration of Software Engineering Techniques by Nicolas Guelfi Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	11.	Model Driven Architecture - Foundations and Applications by Alan Hartman, David Kreische Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	12.	Quality of Software Architectures and Software Quality by Ralf H. Reussner, Johannes Mayer, Judith A. Stafford, Sven Overhage, Steffen Becker, Patrick J. Schroeder Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	13.	Agent-Oriented Software Engineering V by James Odell, Paolo Giorgini, J�rg, P. M�ller Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	14.	Model Checking Software by Patrick Godefroid Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	15.	Machines, Computations, and Universality by Maurice Margenstern Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	16.	Compiler Construction by Rastislav Bodik Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	17.	Formal Approaches to Agent-Based Systems by Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	18.	Computer Aided Verification by Kousha Etessami, Sriram K. Rajamani Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	19.	Practical Aspects of Declarative Languages by Manuel Hermenegildo, Daniel Cabeza Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	20.	Implementation and Application of Functional Languages by Clemens Grelck, Frank Huch, Greg Michaelson, Phil Trinder Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2005 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)

Refine your search

Availability

Authors

Holding libraries

Item types

Topics

Your search returned 866 results.