1
- Gerwin Klein - -
52.94 €
Gerwin Klein - Interactive Theorem Proving: 5th International Conference, Itp 2014, Held As Part Of The Vienna Summer Of Logic, Vsl 2014, Vienna, Austria, July ... (lecture Notes In Computer Science)
MEDIMOPS
Brand: Gerwin Klein -
EAN:
9783319089690MPN: m03319089692
Kategorie: Bücher & Zeitschriften
Binding : Taschenbuch, Edition : 2014, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 580, publicationDate : 2014-08-01, releaseDate : 2014-08-01, publishers : Gerwin Klein, languages : english, ISBN : 3319089692
Preise vergleichen ab:
Gerwin Klein - in Bücher & Zeitschriften 2
- Tobias Nipkow - -
61.34 €
Tobias Nipkow - Concrete Semantics: With Isabelle/hol
MEDIMOPS
Brand: Tobias Nipkow -
EAN:
9783319105413MPN: m03319105418
Kategorie: Bücher & Zeitschriften
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
Preise vergleichen ab:
Tobias Nipkow - in Bücher & Zeitschriften