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

Image from Amazon.com

Practical Aspects of Declarative Languages by

Manuel V. Hermenegildo, Daniel Cabeza

Series: Lecture Notes in Computer Science

Material type:

Text; Format: print ; Literary form: Not fiction

Language: English

Publication details: New York Springer US 2005

Availability: Items available for loan: Central Library (1).

Image from Amazon.com

Inconsistency Tolerance by

Leopoldo Bertossi, Anthony Hunter, Torsten Schaub

Series: Lecture Notes in Computer Science

Material type:

Text; Format: print ; Literary form: Not fiction

Language: English

Publication details: New York Springer US 2006

Availability: Items available for loan: Central Library (1).

Image from Amazon.com

Formal Modeling and Analysis of Timed Systems by

Paul Pettersson, Wang Yi

Series: Lecture Notes in Computer Science

Material type:

Text; Format: print ; Literary form: Not fiction

Language: English

Publication details: New York Springer US 2005

Availability: Items available for loan: Central Library (1).

Image from Amazon.com

Verification, Model Checking, and Abstract Interpretation by

E. Allen Emerson, Kedar S. Namjoshi

Series: Lecture Notes in Computer Science

Material type:

Text; Format: print ; Literary form: Not fiction

Language: English

Publication details: New York Springer US 2005

Availability: Items available for loan: Central Library (1).

Image from Amazon.com

Practical Aspects of Declarative Languages by

Pascal Hentenryck

Series: Lecture Notes in Computer Science

Material type:

Text; Format: print ; Literary form: Not fiction

Language: English

Publication details: New York Springer US 2005

Availability: Items available for loan: Central Library (1).

Image from Amazon.com

Computer Aided Verification by

Kousha Etessami, Sriram K. Rajamani

Series: Lecture Notes in Computer Science

Material type:

Text; Format: print ; Literary form: Not fiction

Language: English

Publication details: New York Springer US 2005

Availability: Items available for loan: Central Library (1).

Image from Amazon.com

Theorem Proving in Higher Order Logics by

Joe Hurd, Tom Melham

Series: Lecture Notes in Computer Science

Material type:

Text; Format: print ; Literary form: Not fiction

Language: English

Publication details: New York Springer US 2005

Availability: Items available for loan: Central Library (1).

Image from Amazon.com

Multiparadigm Programming in Mozart/Oz by

Peter Roy

Series: Lecture Notes in Computer Science

Material type:

Text; Format: print ; Literary form: Not fiction

Language: English

Publication details: New York Springer US 2005

Availability: Items available for loan: Central Library (1).

Image from Amazon.com

Formal Methods in Software and Systems Modeling by

Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer

Series: Lecture Notes in Computer Science

Material type:

Text; Format: print ; Literary form: Not fiction

Language: English

Publication details: New York Springer US 2005

Availability: Items available for loan: Central Library (1).

10.

Image from Amazon.com

Tools and Algorithms for the Construction and Analysis of Systems by

Nicolas Halbwachs, Lenore D. Zuck

Series: Lecture Notes in Computer Science

Material type:

Text; Format: print ; Literary form: Not fiction

Language: English

Publication details: New York Springer US 2005

Availability: Items available for loan: Central Library (1).

11.

Image from Amazon.com

Logic for Programming, Artificial Intelligence, and Reasoning by

Franz Baader, Andrei Voronkov

Series: Lecture Notes in Computer Science

Material type:

Text; Format: print ; Literary form: Not fiction

Language: English

Publication details: New York Springer US 2005

Availability: Items available for loan: Central Library (1).

12.

Image from Amazon.com

Tools and Algorithms for the Construction and Analysis of Systems by

Holger Hermanns, Jens Palsberg

Series: Lecture Notes in Computer Science

Material type:

Text; Format: print ; Literary form: Not fiction

Language: English

Publication details: New York Springer US 2006

Availability: Items available for loan: Central Library (1).

13.

Image from Amazon.com

Hybrid Systems: Computation and Control by

João P. Hespanha, Ashish Tiwari

Series: Lecture Notes in Computer Science

Material type:

Text; Format: print ; Literary form: Not fiction

Language: English

Publication details: New York Springer US 2006

Availability: Items available for loan: Central Library (1).

14.

Image from Amazon.com

Automated Reasoning by

Ulrich Furbach, Natarajan Shankar

Series: Lecture Notes in Computer Science

Material type:

Text; Format: print ; Literary form: Not fiction

Language: English

Publication details: New York Springer US 2006

Availability: Items available for loan: Central Library (1).

15.

Image from Amazon.com

Computer Aided Verification by

Thomas Ball, Robert B. Jones

Series: Lecture Notes in Computer Science

Material type:

Text; Format: print ; Literary form: Not fiction

Language: English

Publication details: New York Springer US 2006

Availability: Items available for loan: Central Library (1).

16.

Image from Amazon.com

Static Analysis by

Kwangkeun Yi

Series: Lecture Notes in Computer Science

Material type:

Text; Format: print ; Literary form: Not fiction

Language: English

Publication details: New York Springer US 2006

Availability: Items available for loan: Central Library (1).

17.

Image from Amazon.com

Formal Modeling and Analysis of Timed Systems by

Eugene Asarin, Patricia Bouyer

Series: Lecture Notes in Computer Science

Material type:

Text; Format: print ; Literary form: Not fiction

Language: English

Publication details: New York Springer US 2006

Availability: Items available for loan: Central Library (1).

18.

Image from Amazon.com

Leveraging Applications of Formal Methods by

Tiziana Margaria, Bernhard Steffen

Series: Lecture Notes in Computer Science

Material type:

Text; Format: print ; Literary form: Not fiction

Language: English

Publication details: New York Springer US 2006

Availability: Items available for loan: Central Library (1).

19.

Image from Amazon.com

Static Analysis by

María Alpuente, Germán Vidal

Series: Lecture Notes in Computer Science

Material type:

Text; Format: print ; Literary form: Not fiction

Language: English

Publication details: New York Springer US 2007

Availability: Items available for loan: Central Library (1).

20.

Image from Amazon.com

Practical Aspects of Declarative Languages by

Michael Hanus

Series: Lecture Notes in Computer Science

Material type:

Text; Format: print ; Literary form: Not fiction

Language: English

Publication details: New York Springer US 2008

Availability: Items available for loan: Central Library (1).

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 96 results.