Viac ako 4 milióny titulov v angličtine aj ďalších jazykoch! Objavte svoj nový príbeh ešte dnes!

Zistiť stav objednávky

Kontaktujte nás

Little Prover

Name: Little Prover
Brand: MIT Press Ltd
SKU: 9780262527958
Price: 51.6 EUR
Availability: InStock

Autor: Carl Eastlund

Jazyk:

Väzba: Brožovaná

Vydavateľ: MIT Press Ltd

Dostupnosť: 50 % šanca

Prehľadáme celý svet

51.60 €

An introduction to writing proofs about computer programs, written in an accessible question-and-ans...

Informácie o knihe

Autor

Carl Eastlund

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2015

Stránok

248

EAN

9780262527958

ISBN

9780262527958

Enbook ID

09392623

Vydavateľ

MIT Press Ltd

Hmotnosť

472

Rozmery

179 x 231 x 16

Kompletný popis

An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant.

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Little Prover

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež