Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Little Prover

Name: Little Prover
Brand: MIT Press Ltd
SKU: 09392623
Price: 53.11 EUR
Availability: InStock
Author: Carl Eastlund
ISBN: 9780262527958

Carl Eastlund

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 09392623

Nakladateľstvo MIT Press Ltd, júl 2015

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

Libristo kód: 09392623

128 b

53.11 €

50 % šanca Prehľadáme celý svet Kedy knihu dostanem?

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Reasoned Schemer Friedman

Brožovaná

50.07 €

Seasoned Schemer Friedman

Brožovaná

55.33 €

Little Schemer Matthias Felleisen

Brožovaná

50.07 €

Art of Computer Programming, The, Volumes 1-4B, Boxed Set Donald Knuth

Pevná

445.38 €

The awk Programming Language Brian Kernighan

Brožovaná

35.30 €

TCP/IP Illustrated, Volume 3 W. Richard Stevens

Brožovaná

63.73 €

Structure and Interpretation of Computer Programs H Abelson

Brožovaná

80.73 €

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.

Herečka & Polyglotka

EWA KASP pre

Prehrať video

Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Little Prover

Autor Carl Eastlund

Jazyk

Angličtina

Väzba Kniha - Brožovaná

Dátum vydania 2015

Počet strán 248

EAN 9780262527958

ISBN 9780262527958

Libristo kód 09392623

Nakladateľstvo MIT Press Ltd

Váha 472

Rozmery 179 x 231 x 16

Kategórie

Matematika a veda > Matematika > Matematické základy > Matematická logika

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Programovanie pre mobilné a príručné zariadenia/programovanie aplikácií

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Programovanie webových stránok

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Softvérové inžinierstvo