|
|
21.
|
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
|
|
|
22.
|
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
|
|
|
23.
|
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
|
|
|
24.
|
New Algorithms, Architectures and Applications for Reconfigurable Computing [electronic resource] / edited by Patrick Lysaght, Wolfgang Rosenstiel.
by Lysaght, Patrick | Rosenstiel, Wolfgang | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: No items available
|
|
|
25.
|
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
|
|
|
26.
|
A Roadmap for Formal Property Verification [electronic resource] / by Pallab DasGupta.
by DasGupta, Pallab | 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
|
|
|
27.
|
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
|
|
|
28.
|
Practical Problems in VLSI Physical Design Automation [electronic resource] / by Sung Kyu Lim.
by Lim, Sung Kyu | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2008Online access: Click here to access online Availability: No items available
|
|
|
29.
|
High-Level Synthesis [electronic resource] : From Algorithm to Digital Circuit / edited by Philippe Coussy, Adam Morawiec.
by Coussy, Philippe | Morawiec, Adam | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2008Online access: Click here to access online Availability: No items available
|
|
|
30.
|
Electronics System Design Techniques for Safety Critical Applications [electronic resource] / by Luca Sterpone.
by Sterpone, Luca | 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
|
|
|
31.
|
Functional Design Errors in Digital Circuits [electronic resource] : Diagnosis, Correction and Repair / by Kai-hui Chang, Igor L. Markov, Valeria Bertacco.
by Chang, Kai-hui | Markov, Igor L | Bertacco, Valeria | 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
|
|
|
32.
|
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
|
|
|
33.
|
Fundamental Problems in Computing [electronic resource] : Essays in Honor of Professor Daniel J. Rosenkrantz / edited by S. S. Ravi, Sandeep K. Shukla.
by Ravi, S. S | Shukla, Sandeep K | 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
|
|
|
34.
|
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
|
|
|
35.
|
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
|
|
|
36.
|
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
|
|
|
37.
|
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
|
|
|
38.
|
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
|
|
|
39.
|
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
|
|
|
40.
|
Introduction to Embedded System Design Using Field Programmable Gate Arrays [electronic resource] / by Rahul Dubey.
by Dubey, Rahul | 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
|
