AKTUELLE PARTNERANGEBOTE

Automatische Synthese rekursiver Programme als Beweisverfahren (Informatik-Fachberichte) (German Edition) (Informatik-Fachberichte, 302, Band 302)

Name: Automatische Synthese rekursiver Programme als Beweisverfahren (Informatik-Fachberichte) (German Edition) (Informatik-Fachberichte, 302, Band 302)
Brand: Susanne Biundo
SKU: 6630513

Brand : Springer, Binding : Broschiert, Edition : 1, Label : Springer, Publisher : Springer, medium : Broschiert, numberOfPages : 272, publicationDate : 1992-05-06, authors : Susanne Biundo, ISBN : 3540553002

2 Angebote · ab 54,99 € gemeldete Gesamtkosten

Finde das Produkt,das wirklich zu dir passt.

Automatische Synthese rekursiver Programme als Beweisverfahren (Informatik-Fachberichte) (German Edition) (Informatik-Fachberichte, 302, Band 302)

Finde das Produkt,
das wirklich zu dir passt.