AKTUELLE PARTNERANGEBOTE

Concrete Semantics: With Isabelle/HOL

Binding : Gebundene Ausgabe, Edition : 2014, Label : Springer, Publisher : Springer, medium : Gebundene Ausgabe, numberOfPages : 298, publicationDate : 2014-12-15, authors : Tobias Nipkow, Gerwin Klein, languages : english, ISBN : 3319105418

1 Angebote · ab 78,21 € gemeldete Gesamtkosten