Adapting Proofs-as-Programs
The Curry--Howard Protocol
Fr. 206.00
inkl. gesetzl. MwSt.Beschreibung
Details
Einband
Gebundene Ausgabe
Erscheinungsdatum
21.06.2005
Verlag
Springer UsSeitenzahl
420
Maße (L/B/H)
23.4/15.6/2.4 cm
Weitere Bände von Monographs in Computer Science
-
Zur Artikeldetailseite von Adapting Proofs-as-Programs des Autors Iman Poernomo
Iman Poernomo
Adapting Proofs-as-ProgramsBuch
Fr. 206.00
-
Zur Artikeldetailseite von A Practical Theory of Programming des Autors Eric C.R. Hehner
Eric C.R. Hehner
A Practical Theory of ProgrammingBuch
Fr. 72.90
-
Zur Artikeldetailseite von Algorithmic Algebra des Autors Bhubaneswar Mishra
Bhubaneswar Mishra
Algorithmic AlgebraBuch
Fr. 72.90
-
Zur Artikeldetailseite von Reverse Engineering of Object Oriented Code des Autors Paolo Tonella
Paolo Tonella
Reverse Engineering of Object Oriented CodeBuch
Fr. 146.00
-
Zur Artikeldetailseite von Super-Recursive Algorithms des Autors Mark Burgin
Mark Burgin
Super-Recursive AlgorithmsBuch
Fr. 182.00
-
Zur Artikeldetailseite von Evolutionary Synthesis of Pattern Recognition Systems des Autors Bir Bhanu
Bir Bhanu
Evolutionary Synthesis of Pattern Recognition SystemsBuch
Fr. 206.00
-
Zur Artikeldetailseite von The Design and Analysis of Algorithms des Autors Dexter C. Kozen
Dexter C. Kozen
The Design and Analysis of AlgorithmsBuch
Fr. 137.00
-
Zur Artikeldetailseite von Abstraction, Refinement and Proof for Probabilistic Systems des Autors Annabelle McIver
Annabelle McIver
Abstraction, Refinement and Proof for Probabilistic SystemsBuch
Fr. 208.00
-
Zur Artikeldetailseite von Programming with Specifications des Autors David Luckham
David Luckham
Programming with SpecificationsBuch
Fr. 103.00
-
Zur Artikeldetailseite von Beauty Is Our Business des Autors W.H.J. Feijen
W.H.J. Feijen
Beauty Is Our BusinessBuch
Fr. 239.00
-
Zur Artikeldetailseite von VLSI Placement and Routing: The Pi Project des Autors A. T. Sherman
A. T. Sherman
VLSI Placement and Routing: The Pi ProjectBuch
Fr. 103.00
-
Zur Artikeldetailseite von Reps, T: The Synthesizer Generator des Autors Thomas W. Reps
Thomas W. Reps
Reps, T: The Synthesizer GeneratorBuch
Fr. 103.00
Unsere Kundinnen und Kunden meinen
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kund*innen durch Ihre Meinung
Erste Bewertung verfassen