Wir verwenden Cookies, die für die ordnungsgemäße Bereitstellung unseres Webseitenangebots zwingend erforderlich sind. Mit Klick auf "Einverstanden" setzen wir zusätzlich Cookies und Dienste von Drittanbietern ein, um unser Angebot durch Analyse des Nutzungsverhaltens zu optimieren, um Nutzungsprofile zu erstellen, interessenbezogene Werbung anzuzeigen, sowie die Webseiten-Performance zu verbessern. Ihre Einwilligung können Sie jederzeit durch erneuten Aufruf dieses Cookie-Banners am Ende der Webseite widerrufen. Weitere Informationen und Einzelheiten finden Sie in der Datenschutzerklärung.
Einverstanden
Nur funktionale Cookies

Rigorous Software Development

An Introduction to Program Verification (Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
This text is a self-contained introduction to program verification using logic-based methods, presented in the broader context of formal methods for software engineering. It focuses on two approaches: the Coq proof assistant and the B suite.
lieferbar
versandkostenfrei

Bestellnummer: 26214685

Buch 37.40
In den Warenkorb
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
lieferbar
versandkostenfrei

Bestellnummer: 26214685

Buch 37.40
In den Warenkorb
This text is a self-contained introduction to program verification using logic-based methods, presented in the broader context of formal methods for software engineering. It focuses on two approaches: the Coq proof assistant and the B suite.
Andere Kunden interessierten sich auch für

Rigorous Software Development / Undergraduate Topics in Computer Science

José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa

0 Sterne
eBook

Statt 37.40 19

36.99

Download bestellen
Erschienen am 04.01.2011
sofort als Download lieferbar
Buch

112.34

In den Warenkorb
Erschienen am 26.11.2009
lieferbar
Buch

85.59

In den Warenkorb
Erschienen am 29.11.1999
lieferbar

Hagenberg Research

Michael Affenzeller, Andreas Beham, Bruno Buchberger, Christina Buttinger, Wolfgang Beer, Peter Brandl

0 Sterne
Buch

165.84

In den Warenkorb
Erschienen am 17.06.2009
lieferbar
Buch

74.99

In den Warenkorb
Erschienen am 14.01.2011
lieferbar
Buch

96.29

In den Warenkorb
Erschienen am 02.06.2015
lieferbar

Software Process Definition and Management

Jürgen Münch, Ove Armbrust, Martin Kowalczyk, Martin Soto

0 Sterne
Buch

64.19

In den Warenkorb
lieferbar
Buch

129.99

In den Warenkorb
Erschienen am 02.04.1997
lieferbar
Buch

106.99

Vorbestellen
Erschienen am 11.11.1999
Voraussichtlich lieferbar in 3 Tag(en)
Buch

66.34

In den Warenkorb
Erschienen am 13.05.2015
lieferbar
Buch

68.50

In den Warenkorb
Erschienen am 08.11.2004
lieferbar

Abstract State Machines

Egon Börger, Roland Stärk

0 Sterne
Buch

80.24

In den Warenkorb
Erschienen am 23.04.2003
lieferbar
Buch

74.99

In den Warenkorb
Erschienen am 14.09.2015
lieferbar

Designing Reliable Distributed Systems

Peter Csaba Ölveczky

0 Sterne
Buch

64.19

In den Warenkorb
Erschienen am 22.02.2018
lieferbar

Software Configuration Management Using VESTA

Allan Heydon, Roy Levin, Timothy Mann, Yuan Yu

0 Sterne
Buch

139.99

In den Warenkorb
lieferbar

Refinement in Z and Object-Z

John Derrick, Eerke A. Boiten

0 Sterne
Buch

129.99

In den Warenkorb
Erschienen am 31.08.2013
lieferbar

Abnahme komplexer Software-Systeme

Wolfgang W. Osterhage

0 Sterne
Buch

56.99

In den Warenkorb
Erschienen am 03.03.2009
lieferbar

Systems and Software Verification

B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, a. petit

0 Sterne
Buch

128.39

In den Warenkorb
Erschienen am 20.06.2001
lieferbar

Software-Architektur

Oliver Vogel, Ingo Arnold, Arif Chughtai, Edmund Ihler, Timo Kehrer, Uwe Mehlig, Uwe Zdun

0 Sterne
Buch

74.99

In den Warenkorb
Erschienen am 31.10.2008
lieferbar
Mehr Bücher des Autors

Rigorous Software Development / Undergraduate Topics in Computer Science

José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa

0 Sterne
eBook

Statt 37.40 19

36.99

Download bestellen
Erschienen am 04.01.2011
sofort als Download lieferbar
Kommentar zu "Rigorous Software Development"
Andere Kunden kauften auch
Buch

112.34

In den Warenkorb
Erschienen am 26.11.2009
lieferbar
Buch

85.59

In den Warenkorb
Erschienen am 29.11.1999
lieferbar

Hagenberg Research

Michael Affenzeller, Andreas Beham, Bruno Buchberger, Christina Buttinger, Wolfgang Beer, Peter Brandl

0 Sterne
Buch

165.84

In den Warenkorb
Erschienen am 17.06.2009
lieferbar
Buch

74.99

In den Warenkorb
Erschienen am 14.01.2011
lieferbar
Buch

96.29

In den Warenkorb
Erschienen am 02.06.2015
lieferbar

Software Process Definition and Management

Jürgen Münch, Ove Armbrust, Martin Kowalczyk, Martin Soto

0 Sterne
Buch

64.19

In den Warenkorb
lieferbar
Buch

129.99

In den Warenkorb
Erschienen am 02.04.1997
lieferbar
Buch

106.99

Vorbestellen
Erschienen am 11.11.1999
Voraussichtlich lieferbar in 3 Tag(en)
Buch

66.34

In den Warenkorb
Erschienen am 13.05.2015
lieferbar
Buch

68.50

In den Warenkorb
Erschienen am 08.11.2004
lieferbar

Abstract State Machines

Egon Börger, Roland Stärk

0 Sterne
Buch

80.24

In den Warenkorb
Erschienen am 23.04.2003
lieferbar
Buch

74.99

In den Warenkorb
Erschienen am 14.09.2015
lieferbar

Designing Reliable Distributed Systems

Peter Csaba Ölveczky

0 Sterne
Buch

64.19

In den Warenkorb
Erschienen am 22.02.2018
lieferbar

Software Configuration Management Using VESTA

Allan Heydon, Roy Levin, Timothy Mann, Yuan Yu

0 Sterne
Buch

139.99

In den Warenkorb
lieferbar

Refinement in Z and Object-Z

John Derrick, Eerke A. Boiten

0 Sterne
Buch

129.99

In den Warenkorb
Erschienen am 31.08.2013
lieferbar

Abnahme komplexer Software-Systeme

Wolfgang W. Osterhage

0 Sterne
Buch

56.99

In den Warenkorb
Erschienen am 03.03.2009
lieferbar

Systems and Software Verification

B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, a. petit

0 Sterne
Buch

128.39

In den Warenkorb
Erschienen am 20.06.2001
lieferbar

Software-Architektur

Oliver Vogel, Ingo Arnold, Arif Chughtai, Edmund Ihler, Timo Kehrer, Uwe Mehlig, Uwe Zdun

0 Sterne
Buch

74.99

In den Warenkorb
Erschienen am 31.10.2008
lieferbar
Weitere Empfehlungen zu „Rigorous Software Development “
0 Gebrauchte Artikel zu „Rigorous Software Development“
Zustand Preis Porto Zahlung Verkäufer Rating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung