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.

Podobné produkty

Top