Automated Theorem Proving in Software Engineering

(Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
Growing demands for the quality, safety, and security of software can only be met by rigorous application of formal methods during software design. This book methodically investigates the potential of first-order logic automated theorem provers for...
lieferbar
versandkostenfrei

Bestellnummer: 3041921

Buch80.24
In den Warenkorb
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich
lieferbar
versandkostenfrei

Bestellnummer: 3041921

Buch80.24
In den Warenkorb
Growing demands for the quality, safety, and security of software can only be met by rigorous application of formal methods during software design. This book methodically investigates the potential of first-order logic automated theorem provers for...
Kommentar zu "Automated Theorem Proving in Software Engineering"
Andere Kunden kauften auch
eBook

Statt 80.24 19

73.55

Erschienen am 29.06.2013
Leider schon ausverkauft

WhatsApp für Senioren

Anja Schmid

4 Sterne
(3)
Buch

9.90

In den Warenkorb
Erschienen am 05.10.2018
lieferbar

Minecraft Bauideen

Andreas Zintzsch

0 Sterne
Buch

8.90

In den Warenkorb
lieferbar

Luminar 4 Praxiseinstieg

Hendrik Roggemann

0 Sterne
Buch

19.99

In den Warenkorb
Erschienen am 29.02.2020
lieferbar

Capture One Pro 20

Michael Gradias

0 Sterne
Buch

29.90

In den Warenkorb
Erschienen am 20.04.2020
lieferbar

Luminar 4 - Das große Praxishandbuch

Michael Gradias

5 Sterne
(1)
Buch

29.90

In den Warenkorb
lieferbar

Kompendium der Mediengestaltung

Joachim Böhringer, Peter Bühler, Patrick Schlaich, Dominik Sinner

5 Sterne
(1)
Buch

Statt 34.99

9.99 *

In den Warenkorb
Erschienen am 26.08.2014
lieferbar

Gimp 2.10 - optimal nutzen

Michael Gradias

4 Sterne
(1)
Buch

12.95

In den Warenkorb
lieferbar

Digital filmen

Jörg Jovy

0 Sterne
Buch

39.90

In den Warenkorb
lieferbar

WhatsApp - Einsteigen, Nutzen, Umziehen

Daniela Eichlseder, Anja Schmid

0 Sterne
Buch

9.90

In den Warenkorb
Erschienen am 15.12.2017
lieferbar

Mixing Secrets

Mike Senior

0 Sterne
Buch

34.99

In den Warenkorb
Erschienen am 31.03.2020
lieferbar

Word 2019 - Stufe 1: Grundlagen

Inge Baumeister

0 Sterne
Buch

12.90

In den Warenkorb
Erschienen am 15.03.2019
lieferbar

Access 2019

Wolfram Langer

0 Sterne
Buch

49.90

In den Warenkorb
Erschienen am 23.08.2019
lieferbar

Outlook 2019

Otmar Witzgall

5 Sterne
(1)
Buch

14.90

In den Warenkorb
Erschienen am 21.12.2018
lieferbar

Microsoft Office im Büro

Mareile Heiting, Carsten Thiele

5 Sterne
(1)
Buch

19.90

In den Warenkorb
lieferbar

Word 2016 - Die Anleitung in Bildern

Christine Peyton, Olaf Altenhof

0 Sterne
Buch

9.90

In den Warenkorb
lieferbar

Excel 2019 - Stufe 1: Grundlagen

Anja Schmid, Inge Baumeister

0 Sterne
Buch

12.90

In den Warenkorb
lieferbar
Buch

19.99

In den Warenkorb
Erschienen am 11.09.2019
lieferbar

Excel 2019

Schels Ignatz

0 Sterne
Buch

9.95

In den Warenkorb
Erschienen am 15.03.2019
lieferbar
0 Gebrauchte Artikel zu „Automated Theorem Proving in Software Engineering“
ZustandPreisPortoZahlungVerkäuferRating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich