Ergebnisse filtern
Programmierung | Softwareentwicklung
-
Hawblitzel / Miller Certified Programs and Proofs
Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-35307-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gibbons / Miller Functional and Logic Programming
17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings2024Verlag: SpringerISBN: 978-981-97-2299-0Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort