Concrete Semantics: With Isabelle / HOL - Tobias Nipkow - Boeken - Springer International Publishing AG - 9783319357591 - 10 september 2016
Indien omslag en titel niet overeenkomen, is de titel correct

Tobias Nipkow
Concrete Semantics: With Isabelle / HOL Softcover reprint of the original 1st ed. 2014 edition

Prijs
€ 49,49

Besteld in een afgelegen magazijn

Verwachte levering 8 - 16 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

Ook verkrijgbaar als:

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 reader the art of precise logical reasoning and the practical use of a proof assistant as a surgical tool for formal proofs about computer science artefacts.

311 pages, 86 black & white illustrations, 1 colour illustrations, biography

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 10 september 2016
ISBN13 9783319357591
Uitgevers Springer International Publishing AG
Pagina's 298
Afmetingen 234 × 156 × 19 mm   ·   490 g
Taal en grammatica Frans  

Meer door Tobias Nipkow

Alles tonen

Bekijk alles van Tobias Nipkow ( bijv. Paperback Book en Hardcover Book )