Concrete Semantics - A Proof Assistant Approach Nipkow TobiasPevná vazba
Hobby
Najnižšia cena
od 0 €
Part II can be read even without familiarity with Isabelle's proof language, all proofs are described in detail but informally.The book teaches the re Concrete Semantics - A Proof Assistant Approach Nipkow TobiasPevná vazba patrí medzi produkty, ktoré ponúkajú vyvážený pomer… Celý popis ↓
Porovnanie cien Concrete Semantics - A Proof Assistant Approach Nipkow TobiasPevná vazba
Žiadne ponuky.
Popis Concrete Semantics - A Proof Assistant Approach Nipkow TobiasPevná vazba
Concrete Semantics - A Proof Assistant Approach Nipkow TobiasPevná vazba
Part II can be read even without familiarity with Isabelle's proof language, all proofs are described in detail but informally.The book teaches the re
Concrete Semantics - A Proof Assistant Approach Nipkow TobiasPevná vazba patrí medzi produkty, ktoré ponúkajú vyvážený pomer kvality a ceny. V hornej časti stránky nájdeš hlavný prehľad, nižšie podrobné vlastnosti a technické parametre.