Ergebnisse filtern
-
- 10
-
- 1
- 4
- 2
- 1
-
- 10
-
- 10
-
- 10
-
- 10
-
- 10
-
Ancona / Bono / Bravetti Behavioral Types in Programming Languages
1. Auflage 2016Verlag: Now PublishersISBN: 978-1-68083-134-4Medium: Buch86,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Yahav / Vechev Programming with “Big Code”
1. Auflage 2016Verlag: Now PublishersISBN: 978-1-68083-230-3Medium: Buch51,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Cortier / Kremer Formal Models and Techniques for Analyzing Security Protocols
A TutorialVerlag: Now PublishersISBN: 978-1-60198-902-4Medium: Buch71,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Static Analysis and Verification of Aerospace Software by Abstract Interpretation
1. Auflage 2015Verlag: Now PublishersISBN: 978-1-60198-856-0Medium: Buch84,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Murawski / Tzevelekos Nominal Game Semantics
1. Auflage 2016Verlag: Now PublishersISBN: 978-1-68083-106-1Medium: Buch64,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Smaragdakis / Balatsouras Pointer Analysis
1. Auflage 2015Verlag: Now PublishersISBN: 978-1-68083-020-0Medium: Buch62,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Gulwani / Polozov / Singh Program Synthesis
1. Auflage 2017Verlag: Now PublishersISBN: 978-1-68083-292-1Medium: Buch80,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Burckhardt Principles of Eventual Consistency
1. Auflage 2014Verlag: Now PublishersISBN: 978-1-60198-858-4Medium: Buch77,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Madhavan / Ramalingam / Vaswani A Framework For Efficient Modular Heap Analysis
Verlag: Now PublishersISBN: 978-1-68083-002-6Medium: Buch72,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Cheung / Solar-Lezama Computer-Assisted Query Formulation
1. Auflage 2016Verlag: Now PublishersISBN: 978-1-68083-036-1Medium: Buch65,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort