Domov

Pisarna in šola

Knjige

Knjige, leposlovje, priročniki, ostalo

Interactive Theorem Proving and Program Development

Name: Interactive Theorem Proving and Program Development
Brand: INTERACTIVE
SKU: 30224787

LOKACIJE TRGOVIN

A practical introduction to the development of proofs and certified programs using Coq. §An invaluable tool for researchers, students, and engineers interested in formal ... Preberi cel opis

81,03 €

5-8 dni

Hitro na ponudbo

-15 %95,03 €

81,03 €

brezplačna dostava

Več o ponudbi

Ponudba trgovine Libristo.si za izdelek Interactive Theorem Proving and Program Development. Pravilnost cene in podatkov preveri na spletni strani trgovine.

Parametri izdelka

Interactive Theorem Proving and Program Development

Glavni parametri

Pomembna informacija

Ti podatki so zbrani z uradnih strani izdelkov. Preden nadaljujete do končnega nakupa, preverite podrobnosti. Če opazite težavo, jo lahko sporočite tukaj.

Hitro na ponudbo

Proizvajalec

Jezik

angleščina

Vrsta izdelka

Strokovna literatura

Cuin

CX01CD3193

Prijavi napako

PODOBNI IZDELKI

Več o izdelku

Throne of Glass Box Set (Paperback)

v Libristo.si

73,44 €

Več o izdelku

Learning the Art of Electronics

v Libristo.si

83,06 €

Več o izdelku

Boron & Boulpaep Concise Medical Physiology

v amazon.de

81,51 €

Več o izdelku

Yoga, Fascia, Anatomy and Movement, Second Edition

v Libristo.si

79,11 €

Več o izdelku

Head, Neck, and Neuroanatomy (Thieme Atlas of Anatomy)

v Libristo.si

88,23 €

Več o izdelku

Nursing Outcomes Classification (NOC)

v Libristo.si

72,93 €

Več o izdelku

Basic Physiology for Anaesthetists

Več o izdelku

A practical introduction to the development of proofs and certified programs using Coq. §An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

Interactive Theorem Proving and Program Development

81,03 €

v Libristo.si

Hitro na ponudbo

	Ceneje.si e-novičke s predstavitvijo kategorij izdelkov, zanimivimi ponudbami in nakupovalnimi nasveti ter pomembna obvestila uporabnikom
	Personalizirane in relevantne ponudbe izdelkov iz kategorij, ki te zanimajo (Da ti lahko ponudimo prilagojeno vsebino, bomo na ceneje.si spremljali tvoje aktivnosti, analizirali interese in uporabili profiliranje ter avtomatizirano odločanje)
	Spletne kataloge in letake trgovcev - prelistaš jih lahko takoj, ko izidejo

Interactive Theorem Proving and Program Development

Parametri izdelka

Interactive Theorem Proving and Program Development

Pomembna informacija

PODOBNI IZDELKI

SORODNI IZDELKI