|
1.
|
Abstraction, Refinement and Proof for Probabilistic Systems [electronic resource] / by Annabelle McIver, Carroll Morgan.
by McIver, Annabelle | Morgan, Carroll | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: No items available
|
|
2.
|
Adapting Proofs-as-Programs [electronic resource] : The Curry-Howard Protocol / by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley.
by Poernomo, Iman Hafiz | Wirsing, Martin | Crossley, John Newsome | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: No items available
|
|
3.
|
Mathematical Problems from Applied Logic I [electronic resource] : Logics for the XXIst Century / edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev.
by Gabbay, Dov M | Goncharov, Sergei S | Zakharyaschev, Michael | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2006Online access: Click here to access online Availability: No items available
|
|
4.
|
A Modular Calculus for the Average Cost of Data Structuring [electronic resource] / by Michel Schellekens.
by Schellekens, Michel | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2008Online access: Click here to access online Availability: No items available
|
|
5.
|
Programming Languages [electronic resource] : An Active Learning Approach / by Kent Lee.
by Lee, Kent | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2008Online access: Click here to access online Availability: No items available
|
|
6.
|
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 | Frade, Maria João | Pinto, Jorge Sousa | Melo de Sousa, Simão | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
7.
|
Introduction to the Theory of Programming Languages [electronic resource] / by Gilles Dowek, Jean-Jacques Lévy.
by Dowek, Gilles | Lévy, Jean-Jacques | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
8.
|
Specification of Software Systems [electronic resource] / by V.S. Alagar, K. Periyasamy.
by Alagar, V.S | Periyasamy, K | SpringerLink (Online service). Edition: 2nd Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
9.
|
Modern Formal Methods and Applications [electronic resource] / edited by Hossam A. Gabbar.
by Gabbar, Hossam A | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2006Online access: Click here to access online Availability: No items available
|
|
10.
|
Handbook of Philosophical Logic [electronic resource] / edited by D.M. Gabbay, F. Guenthner.
by Gabbay, D.M | Guenthner, F | SpringerLink (Online service). Edition: 2nd Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available
|
|
11.
|
Logic Functions and Equations [electronic resource] : Examples and Exercises / by Bernd Steinbach, Christian Posthoff.
by Steinbach, Bernd | Posthoff, Christian | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: No items available
|
|
12.
|
Theoretical Introduction to Programming [electronic resource] / by Bruce Mills.
by Mills, Bruce | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2006Online access: Click here to access online Availability: No items available
|
|
13.
|
Concurrency Theory [electronic resource] : Calculi and Automata for Modelling Untimed and Timed Concurrent Systems / by Howard Bowman, Rodolfo Gomez.
by Bowman, Howard | Gomez, Rodolfo | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2006Online access: Click here to access online Availability: No items available
|
|
14.
|
Semantics with Applications: An Appetizer [electronic resource] / by Hanne Riis Nielson, Flemming Nielson.
by Nielson, Hanne Riis | Nielson, Flemming | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2007Online access: Click here to access online Availability: No items available
|
|
15.
|
Principles of the Spin Model Checker [electronic resource] / by Mordechai Ben-Ari.
by Ben-Ari, Mordechai | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2008Online access: Click here to access online Availability: No items available
|
|
16.
|
Value-Range Analysis of C Programs [electronic resource] : Towards Proving the Absence of Buffer Overflow Vulnerabilities / edited by Axel Simon.
by Simon, Axel | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2008Online access: Click here to access online Availability: No items available
|
|
17.
|
Elementary Logic [electronic resource] : For Software Development / by Robert Lover.
by Lover, Robert | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2008Online access: Click here to access online Availability: No items available
|
|
18.
|
Principles of Programming Languages [electronic resource] / by Gilles Dowek.
by Dowek, Gilles | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2009Online access: Click here to access online Availability: No items available
|
|
19.
|
Computable Models [electronic resource] / by Raymond Turner.
by Turner, Raymond | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2009Online access: Click here to access online Availability: No items available
|
|
20.
|
Understanding Concurrent Systems [electronic resource] / by A.W. Roscoe.
by Roscoe, A.W | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|