Results of search for 'su:{Logics and Meanings of Programs.}' › Nitte Meenakshi Institute of Technology catalog

Results
	1.	Abstraction, Refinement and Proof for Probabilistic Systems [electronic resource] / by Annabelle McIver, Carroll Morgan. by McIver, Annabelle [author.] Morgan, Carroll [author.] SpringerLink (Online service) Series: Monographs in Computer Science Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Adapting Proofs-as-Programs [electronic resource] : The Curry-Howard Protocol / by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley. by Poernomo, Iman Hafiz [author.] Wirsing, Martin [author.] Crossley, John Newsome [author.] SpringerLink (Online service) Series: Monographs in Computer Science Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	3.	A Modular Calculus for the Average Cost of Data Structuring [electronic resource] / by Michel Schellekens. by Schellekens, Michel [author.] SpringerLink (Online service) Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	4.	Programming Languages [electronic resource] : An Active Learning Approach / by Kent Lee. by Lee, Kent [author.] SpringerLink (Online service) Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	5.	Rigorous Software Development [electronic resource] : An Introduction to Program Verification / by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa. by Almeida, José Bacelar [author.] Frade, Maria João [author.] Pinto, Jorge Sousa [author.] Melo de Sousa, Simão [author.] SpringerLink (Online service) Series: Undergraduate Topics in Computer Science Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	6.	Introduction to the Theory of Programming Languages [electronic resource] / by Gilles Dowek, Jean-Jacques Lévy. by Dowek, Gilles [author.] Lévy, Jean-Jacques [author.] SpringerLink (Online service) Series: Undergraduate Topics in Computer Science Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	7.	Specification of Software Systems [electronic resource] / by V.S. Alagar, K. Periyasamy. by Alagar, V.S [author.] Periyasamy, K [author.] SpringerLink (Online service) Series: Texts in Computer Science Edition: 2nd Edition. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	8.	Logic Functions and Equations [electronic resource] : Examples and Exercises / by Bernd Steinbach, Christian Posthoff. by Steinbach, Bernd [author.] Posthoff, Christian [author.] SpringerLink (Online service) Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	9.	Mathematics in Computing [electronic resource] : An Accessible Guide to Historical, Foundational and Application Contexts / by Gerard O’Regan. by O’Regan, Gerard [author.] SpringerLink (Online service) Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	10.	Social Semantics [electronic resource] : The Search for Meaning on the Web / by Harry Halpin. by Halpin, Harry [author.] SpringerLink (Online service) Series: Semantic Web and Beyond, Computing for Human Experience ; 13 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	11.	Distributed Programming [electronic resource] : Theory and Practice / by A. Udaya Shankar. by Shankar, A. Udaya [author.] SpringerLink (Online service) Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	12.	A General Framework for Reasoning On Inconsistency [electronic resource] / by Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud. by Martinez, Maria Vanina [author.] Molinaro, Cristian [author.] Subrahmanian, V.S [author.] Amgoud, Leila [author.] SpringerLink (Online service) Series: SpringerBriefs in Computer Science Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	13.	Theoretical Introduction to Programming [electronic resource] / by Bruce Mills. by Mills, Bruce [author.] SpringerLink (Online service) Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	14.	Concurrency Theory [electronic resource] : Calculi and Automata for Modelling Untimed and Timed Concurrent Systems / by Howard Bowman, Rodolfo Gomez. by Bowman, Howard [author.] Gomez, Rodolfo [author.] SpringerLink (Online service) Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	15.	Semantics with Applications: An Appetizer [electronic resource] / by Hanne Riis Nielson, Flemming Nielson. by Nielson, Hanne Riis [author.] Nielson, Flemming [author.] SpringerLink (Online service) Series: Undergraduate Topics in Computer Science Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	16.	Principles of the Spin Model Checker [electronic resource] / by Mordechai Ben-Ari. by Ben-Ari, Mordechai [author.] SpringerLink (Online service) Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	17.	Value-Range Analysis of C Programs [electronic resource] : Towards Proving the Absence of Buffer Overflow Vulnerabilities / edited by Axel Simon. by Simon, Axel [editor.] SpringerLink (Online service) Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	18.	Elementary Logic [electronic resource] : For Software Development / by Robert Lover. by Lover, Robert [author.] SpringerLink (Online service) Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	19.	Modelling Computing Systems [electronic resource] : Mathematics for Computer Science / by Faron Moller, Georg Struth. by Moller, Faron [author.] Struth, Georg [author.] SpringerLink (Online service) Series: Undergraduate Topics in Computer Science Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	20.	Principles of Programming Languages [electronic resource] / by Gilles Dowek. by Dowek, Gilles [author.] SpringerLink (Online service) Series: Undergraduate Topics in Computer Science Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Series

Topics

Your search returned 896 results.