WELTBILD und Partner brauchen Ihre Zustimmung (Klick auf „OK”) bei vereinzelten Datennutzungen, um unter anderem Informationen zu Ihren Interessen anzuzeigen. Die Verwendung von Cookies können Sie hier ablehnen. Die Einwilligung kann jederzeit in der Datenschutzerklärung widerrufen werden.
OK

Refinement in Z and Object-Z

Foundations and Advanced Applications (Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings together this important research in one volume, with the...
lieferbar
versandkostenfrei

Bestellnummer: 50209188

Buch 129.99
In den Warenkorb
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • In Ihre Filiale lieferbar
  • Ratenzahlung möglich
lieferbar
versandkostenfrei

Bestellnummer: 50209188

Buch 129.99
In den Warenkorb
Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings together this important research in one volume, with the...
Andere Kunden interessierten sich auch für

Refinement in Z and Object-Z

John Derrick, Eerke A. Boiten

0 Sterne
eBook

Statt 129.99 19

106.99

Download bestellen
Erschienen am 30.08.2013
sofort als Download 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

Designing Reliable Distributed Systems

Peter Csaba Ölveczky

0 Sterne
Buch

64.19

In den Warenkorb
Erschienen am 22.02.2018
lieferbar

Temporal Logic and State Systems

Fred Kröger, Stefan Merz

0 Sterne
Buch

79.99

In den Warenkorb
Erschienen am 27.03.2008
lieferbar
Buch

128.39

In den Warenkorb
Erschienen am 13.09.1999
lieferbar
Buch

129.99

In den Warenkorb
Erschienen am 06.07.1998
lieferbar
Buch

129.99

In den Warenkorb
Erschienen am 13.09.1999
lieferbar
Buch

74.89

In den Warenkorb
Erschienen am 09.08.1989
lieferbar
Buch

112.34

In den Warenkorb
Erschienen am 26.11.2009
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

74.99

In den Warenkorb
Erschienen am 14.09.2015
lieferbar

Rigorous Software Development

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

0 Sterne
Buch

37.40

In den Warenkorb
Erschienen am 07.01.2011
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

68.50

In den Warenkorb
Erschienen am 08.11.2004
lieferbar

Software Configuration Management Using VESTA

Allan Heydon, Roy Levin, Timothy Mann, Yuan Yu

0 Sterne
Buch

139.99

In den Warenkorb
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
Buch

66.34

In den Warenkorb
Erschienen am 13.05.2015
lieferbar

Abnahme komplexer Software-Systeme

Wolfgang W. Osterhage

0 Sterne
Buch

56.99

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

Refinement

Eerke Boiten, John Derrick

0 Sterne
eBook

64.19

Download bestellen
Erschienen am 03.09.2018
sofort als Download lieferbar

Refinement in Z and Object-Z

John Derrick, Eerke A. Boiten

0 Sterne
eBook

Statt 129.99 19

106.99

Download bestellen
Erschienen am 30.08.2013
sofort als Download lieferbar

Refinement

John Derrick, Eerke Boiten

0 Sterne
Buch

64.19

Vorbestellen
Erschienen am 14.09.2018
Voraussichtlich lieferbar in 5 Tag(en)
Kommentar zu "Refinement in Z and Object-Z"
Andere Kunden kauften auch
Buch

74.99

In den Warenkorb
Erschienen am 14.01.2011
lieferbar
Buch

96.29

In den Warenkorb
Erschienen am 02.06.2015
lieferbar

Designing Reliable Distributed Systems

Peter Csaba Ölveczky

0 Sterne
Buch

64.19

In den Warenkorb
Erschienen am 22.02.2018
lieferbar

Temporal Logic and State Systems

Fred Kröger, Stefan Merz

0 Sterne
Buch

79.99

In den Warenkorb
Erschienen am 27.03.2008
lieferbar
Buch

128.39

In den Warenkorb
Erschienen am 13.09.1999
lieferbar
Buch

129.99

In den Warenkorb
Erschienen am 06.07.1998
lieferbar
Buch

129.99

In den Warenkorb
Erschienen am 13.09.1999
lieferbar
Buch

74.89

In den Warenkorb
Erschienen am 09.08.1989
lieferbar
Buch

112.34

In den Warenkorb
Erschienen am 26.11.2009
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

74.99

In den Warenkorb
Erschienen am 14.09.2015
lieferbar

Rigorous Software Development

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

0 Sterne
Buch

37.40

In den Warenkorb
Erschienen am 07.01.2011
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

68.50

In den Warenkorb
Erschienen am 08.11.2004
lieferbar

Software Configuration Management Using VESTA

Allan Heydon, Roy Levin, Timothy Mann, Yuan Yu

0 Sterne
Buch

139.99

In den Warenkorb
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
Buch

66.34

In den Warenkorb
Erschienen am 13.05.2015
lieferbar

Abnahme komplexer Software-Systeme

Wolfgang W. Osterhage

0 Sterne
Buch

56.99

In den Warenkorb
Erschienen am 03.03.2009
lieferbar
Weitere Empfehlungen zu „Refinement in Z and Object-Z “
0 Gebrauchte Artikel zu „Refinement in Z and Object-Z“
Zustand Preis Porto Zahlung Verkäufer Rating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • In Ihre Filiale lieferbar
  • Ratenzahlung möglich