Ergebnisse filtern
-
- 36
- 20
-
- 14
- 2
- 40
-
- 24
- 32
-
- 56
-
- 56
-
- 56
-
Bradfield Verifying Temporal Properties of Systems
Erscheinungsjahr 2013Verlag: Birkhäuser BostonISBN: 978-1-4684-6819-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
O'Hearn / Tennent Algol-like Languages
1. Auflage 2011Verlag: BirkhäuserISBN: 978-1-4612-8661-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Curien Categorical Combinators, Sequential Algorithms, and Functional Programming
1. Auflage 2012Verlag: BirkhäuserISBN: 978-1-4612-6704-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dicosmo Isomorphisms of Types
from ?-calculus to information retrieval and language designErscheinungsjahr 2012Verlag: Birkhäuser BostonISBN: 978-1-4612-2572-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Curien Categorical Combinators, Sequential Algorithms, and Functional Programming
1993Verlag: Birkhäuser BostonISBN: 978-0-8176-3654-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Case / Royer Subrecursive Programming Systems
Complexity & Succinctness1994Verlag: Birkhäuser BostonISBN: 978-0-8176-3767-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort