AKTUELLE PARTNERANGEBOTE

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)

Brand : Springer, Binding : Taschenbuch, Edition : 2002, Label : Springer, Publisher : Springer, NumberOfItems : 1, Format : Illustriert, medium : Taschenbuch, numberOfPages : 240, publicationDate : 2002-04-03, releaseDate : 2002-04-03, authors : Tobias Nipkow, ISBN : 3540433767

1 Angebote · ab 60,37 € gemeldete Gesamtkosten