Automated Theorem Proving in High-Quality Software Design

Häftad, Engelska, 2013

Av Johann Schumann

329 kr

Beställningsvara. Skickas inom 3-6 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

  • Utgivningsdatum2013-07-15
  • Mått189 x 246 x 1 mm
  • Vikt59 g
  • SpråkEngelska
  • Antal sidor22
  • FörlagBibliogov
  • EAN9781289165482

Mer från samma författare

Applications of Neural Networks in High Assurance Systems
Del 268

Applications of Neural Networks in High Assurance Systems

Johann M.Ph. Schumann, Yan Liu, Johann M. Ph. Schumann, Johann Schumann

2 119 kr

Du kanske också är intresserad av

Applications of Neural Networks in High Assurance Systems
Del 268

Applications of Neural Networks in High Assurance Systems

Johann M.Ph. Schumann, Yan Liu, Johann M. Ph. Schumann, Johann Schumann

2 119 kr

Alchemised (svensk utgåva)
  • Nyhet

Alchemised (svensk utgåva)

SenLinYu

259 kr

Staten mot kapitalet
  • Nyhet

Staten mot kapitalet

Alexander Ernstberger

299 kr

Historiens återkomst: Europa och världsordningens sammanbrott
  • Nyhet

Historiens återkomst: Europa och världsordningens sammanbrott

Martin Kragh

329 kr

Hon som blev kvar

Hon som blev kvar

Riley Sager

125 kr

Den yttersta hemligheten
  • Nyhet
Del 6

Den yttersta hemligheten

Dan Brown

329 kr

Klenoden
  • Nyhet

Klenoden

Klas Östergren

329 kr

Hjärtslag : En självbiografi
  • Nyhet

Hjärtslag : En självbiografi

Björn Borg, Patricia Borg

349 kr

Vitön. : Den fristående fortsättningen på Expeditionen
  • Nyhet

Vitön. : Den fristående fortsättningen på Expeditionen

Bea Uusma

399 kr

Hembiträdet
Del 1

Hembiträdet

Freida McFadden

179 kr

Tillhör följande kategorier