PESU Libraries Search for 'su:"Logics and Meanings of Programs; Software Engineering"'

Practical Aspects of Declarative Languages

]]> By Manuel V. Hermenegildo, Daniel Cabeza.
New York Springer US 2005 978-3-540-30557-6

]]> Place hold on Practical Aspects of Declarative Languages

Inconsistency Tolerance

]]> By Leopoldo Bertossi, Anthony Hunter, Torsten Schaub.
New York Springer US 2006 978-3-540-30597-2

]]> Place hold on Inconsistency Tolerance

Formal Modeling and Analysis of Timed Systems

]]> By Paul Pettersson, Wang Yi.
New York Springer US 2005 978-3-540-31616-9

]]> Place hold on Formal Modeling and Analysis of Timed Systems

Verification, Model Checking, and Abstract Interpretation

]]> By E. Allen Emerson, Kedar S. Namjoshi.
New York Springer US 2005 978-3-540-31622-0

]]> Place hold on Verification, Model Checking, and Abstract Interpretation

Practical Aspects of Declarative Languages

]]> By Pascal Hentenryck.
New York Springer US 2005 978-3-540-31685-5

]]> Place hold on Practical Aspects of Declarative Languages

Computer Aided Verification

]]> By Kousha Etessami, Sriram K. Rajamani.
New York Springer US 2005 978-3-540-31686-2

]]> Place hold on Computer Aided Verification

Theorem Proving in Higher Order Logics

]]> By Joe Hurd, Tom Melham.
New York Springer US 2005 978-3-540-31820-0

]]> Place hold on Theorem Proving in Higher Order Logics

Multiparadigm Programming in Mozart/Oz

]]> By Peter Roy.
New York Springer US 2005 978-3-540-31845-3

]]> Place hold on Multiparadigm Programming in Mozart/Oz

Formal Methods in Software and Systems Modeling

]]> By Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer.
New York Springer US 2005 978-3-540-31847-7

]]> Place hold on Formal Methods in Software and Systems Modeling

Tools and Algorithms for the Construction and Analysis of Systems

]]> By Nicolas Halbwachs, Lenore D. Zuck.
New York Springer US 2005 978-3-540-31980-1

]]> Place hold on Tools and Algorithms for the Construction and Analysis of Systems

Logic for Programming, Artificial Intelligence, and Reasoning

]]> By Franz Baader, Andrei Voronkov.
New York Springer US 2005 978-3-540-32275-7

]]> Place hold on Logic for Programming, Artificial Intelligence, and Reasoning

Tools and Algorithms for the Construction and Analysis of Systems

]]> By Holger Hermanns, Jens Palsberg.
New York Springer US 2006 978-3-540-33057-8

]]> Place hold on Tools and Algorithms for the Construction and Analysis of Systems

Hybrid Systems: Computation and Control

]]> By João P. Hespanha, Ashish Tiwari.
New York Springer US 2006 978-3-540-33171-1

]]> Place hold on Hybrid Systems: Computation and Control

Automated Reasoning

]]> By Ulrich Furbach, Natarajan Shankar.
New York Springer US 2006 978-3-540-37188-5

]]> Place hold on Automated Reasoning

Computer Aided Verification

]]> By Thomas Ball, Robert B. Jones.
New York Springer US 2006 978-3-540-37411-4

]]> Place hold on Computer Aided Verification

Static Analysis

]]> By Kwangkeun Yi.
New York Springer US 2006 978-3-540-37758-0

]]> Place hold on Static Analysis

Formal Modeling and Analysis of Timed Systems

]]> By Eugene Asarin, Patricia Bouyer.
New York Springer US 2006 978-3-540-45031-3

]]> Place hold on Formal Modeling and Analysis of Timed Systems

Leveraging Applications of Formal Methods

]]> By Tiziana Margaria, Bernhard Steffen.
New York Springer US 2006 978-3-540-48929-0

]]> Place hold on Leveraging Applications of Formal Methods

Static Analysis

]]> By María Alpuente, Germán Vidal.
New York Springer US 2007 978-3-540-69166-2

]]> Place hold on Static Analysis

Practical Aspects of Declarative Languages

]]> By Michael Hanus.
New York Springer US 2008 978-3-540-69611-7

]]> Place hold on Practical Aspects of Declarative Languages

Computer Aided Verification

]]> By Aarti Gupta, Sharad Malik.
New York Springer US 2008 978-3-540-70545-1

]]> Place hold on Computer Aided Verification

Theorem Proving in Higher Order Logics

]]> By Otmane Ait Mohamed, César Muñoz, Sofiène Tahar.
New York Springer US 2007 978-3-540-71067-7

]]> Place hold on Theorem Proving in Higher Order Logics

Automated Reasoning

]]> By Alessandro Armando, Peter Baumgartner, Gilles Dowek.
New York Springer US 2007 978-3-540-71070-7

]]> Place hold on Automated Reasoning

Tools and Algorithms for the Construction and Analysis of Systems

]]> By Orna Grumberg, Michael Huth.
New York Springer US 2007 978-3-540-71209-1

]]> Place hold on Tools and Algorithms for the Construction and Analysis of Systems

Program Analysis and Compilation, Theory and Practice

]]> By Thomas Reps, Mooly Sagiv, Jörg Bauer.
New York Springer US 2007 978-3-540-71322-7

]]> Place hold on Program Analysis and Compilation, Theory and Practice

Hybrid Systems: Computation and Control

]]> By Alberto Bemporad, Antonio Bicchi, Giorgio Buttazzo.
New York Springer US 2007 978-3-540-71493-4

]]> Place hold on Hybrid Systems: Computation and Control

Computer Aided Verification

]]> By Werner Damm, Holger Hermanns.
New York Springer US 2007 978-3-540-73368-3

]]> Place hold on Computer Aided Verification

Static Analysis

]]> By Hanne Riis Nielson, Gilberto Filé.
New York Springer US 2007 978-3-540-74061-2

]]> Place hold on Static Analysis

Theorem Proving in Higher Order Logics

]]> By Klaus Schneider, Jens Brandt.
New York Springer US 2007 978-3-540-74591-4

]]> Place hold on Theorem Proving in Higher Order Logics

Domain Modeling and the Duration Calculus

]]> By Chris W. George, Zhiming Liu, Jim Woodcock.
New York Springer US 2007 978-3-540-74964-6

]]> Place hold on Domain Modeling and the Duration Calculus

Formal Modeling and Analysis of Timed Systems

]]> By Jean-François Raskin, P. S. Thiagarajan.
New York Springer US 2007 978-3-540-75454-1

]]> Place hold on Formal Modeling and Analysis of Timed Systems

Practical Aspects of Declarative Languages

]]> By Paul Hudak, David S. Warren.
New York Springer US 2007 978-3-540-77442-6

]]> Place hold on Practical Aspects of Declarative Languages

Tools and Algorithms for the Construction and Analysis of Systems

]]> By C. R. Ramakrishnan, Jakob Rehof.
New York Springer US 2008 978-3-540-78800-3

]]> Place hold on Tools and Algorithms for the Construction and Analysis of Systems

Hybrid Systems: Computation and Control

]]> By Magnus Egerstedt, Bud Mishra.
New York Springer US 2008 978-3-540-78929-1

]]> Place hold on Hybrid Systems: Computation and Control

Foundations of Software Science and Computational Structures

]]> By Luca Alfaro.
New York Springer US 2009 978-3-642-00596-1

]]> Place hold on Foundations of Software Science and Computational Structures

Hybrid Systems: Computation and Control

]]> By Rupak Majumdar, Paulo Tabuada.
New York Springer US 2009 978-3-642-00602-9

]]> Place hold on Hybrid Systems: Computation and Control

Computer Aided Verification

]]> By Ahmed Bouajjani, Oded Maler.
New York Springer US 2009 978-3-642-02658-4

]]> Place hold on Computer Aided Verification

Static Analysis

]]> By Jens Palsberg, Zhendong Su.
New York Springer US 2009 978-3-642-03237-0

]]> Place hold on Static Analysis

Formal Methods for Components and Objects

]]> By Frank S. Boer, Marcello M. Bonsangue, Eric Madelaine.
New York Springer US 2009 978-3-642-04167-9

]]> Place hold on Formal Methods for Components and Objects

Frontiers of Combining Systems

]]> By Silvio Ghilardi, Roberto Sebastiani.
New York Springer US 2009 978-3-642-04222-5

]]> Place hold on Frontiers of Combining Systems

Practical Aspects of Declarative Languages

]]> By Manuel Carro, Ricardo Peña.
New York Springer US 2010 978-3-642-11503-5

]]> Place hold on Practical Aspects of Declarative Languages

Task Models and Diagrams for User Interface Design

]]> By David England, Philippe Palanque, Jean Vanderdonckt, Peter J. Wild.
New York Springer US 2010 978-3-642-11797-8

]]> Place hold on Task Models and Diagrams for User Interface Design

Automata for Branching and Layered Temporal Structures

]]> By Gabriele Puppis.
New York Springer US 2010 978-3-642-11881-4

]]> Place hold on Automata for Branching and Layered Temporal Structures

Tests and Proofs

]]> By Gordon Fraser, Angelo Gargantini.
New York Springer US 2010 978-3-642-13977-2

]]> Place hold on Tests and Proofs

Interactive Theorem Proving

]]> By Matt Kaufmann, Lawrence C. Paulson.
New York Springer US 2010 978-3-642-14052-5

]]> Place hold on Interactive Theorem Proving

Logic, Language and Meaning

]]> By Maria Aloni, Harald Bastiaanse, Tikitu Jager, Katrin Schulz.
New York Springer US 2010 978-3-642-14287-1

]]> Place hold on Logic, Language and Meaning

Computer Aided Verification

]]> By Tayssir Touili, Byron Cook, Paul Jackson.
New York Springer US 2010 978-3-642-14295-6

]]> Place hold on Computer Aided Verification

Unifying Theories of Programming

]]> By Andrew Butterfield.
New York Springer US 2010 978-3-642-14521-6

]]> Place hold on Unifying Theories of Programming

Fields of Logic and Computation

]]> By Andreas Blass, Nachum Dershowitz, Wolfgang Reisig.
New York Springer US 2010 978-3-642-15025-8

]]> Place hold on Fields of Logic and Computation

Formal Modeling and Analysis of Timed Systems

]]> By Krishnendu Chatterjee, Thomas A. Henzinger.
New York Springer US 2010 978-3-642-15297-9

]]> Place hold on Formal Modeling and Analysis of Timed Systems