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

FME '93: Industrial-Strength Formal Methods

First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings (Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and reactive systems, and to hardware design. In that time, many theoretical problems have been tackled...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei

Bestellnummer: 1663228

Buch 128.39
Jetzt vorbestellen
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei

Bestellnummer: 1663228

Buch 128.39
Jetzt vorbestellen
The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and reactive systems, and to hardware design. In that time, many theoretical problems have been tackled...
Andere Kunden interessierten sich auch für
Buch

128.39

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

139.09

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

112.34

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

37.99

In den Warenkorb
Erschienen am 10.06.2016
lieferbar
Buch

69.99

In den Warenkorb
Erschienen am 04.05.2015
lieferbar
Buch

74.99

In den Warenkorb
Erschienen am 12.05.2015
lieferbar
Buch

69.99

In den Warenkorb
lieferbar
Buch

85.60

In den Warenkorb
Erschienen am 15.11.2014
lieferbar

DevOps for Digital Leaders

Aruna Ravichandran, Kieran Taylor, Peter Waterhouse

0 Sterne
Buch

21.39

In den Warenkorb
Erschienen am 11.11.2016
lieferbar
Buch

74.99

In den Warenkorb
lieferbar

IT-Near- und Offshoring in der Praxis

Gerd Nicklisch, Jens Borchers, Ronald Krick, Rainer Rucks

0 Sterne
Buch

42.00

In den Warenkorb
lieferbar

Modeling with UML

Bernhard Rumpe

0 Sterne
Buch

74.89

In den Warenkorb
Erschienen am 27.07.2016
lieferbar
Buch

106.99

In den Warenkorb
Erschienen am 22.05.2015
lieferbar
Buch

69.54

In den Warenkorb
lieferbar
Buch

58.40

In den Warenkorb
Erschienen am 30.04.2016
lieferbar

Software Sourcing in the Age of Open

Pär J. Ågerfalk, Brian Fitzgerald, Klaas-Jan Stol

0 Sterne
Buch

58.84

In den Warenkorb
Erschienen am 05.05.2015
lieferbar

Form-Oriented Analysis

D. Draheim, G. Weber

0 Sterne
Buch

117.69

In den Warenkorb
Erschienen am 19.10.2004
lieferbar
Buch

29.90

In den Warenkorb
lieferbar
Kommentar zu "FME '93: Industrial-Strength Formal Methods"
Andere Kunden kauften auch
Buch

128.39

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

139.09

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

112.34

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

37.99

In den Warenkorb
Erschienen am 10.06.2016
lieferbar
Buch

69.99

In den Warenkorb
Erschienen am 04.05.2015
lieferbar
Buch

74.99

In den Warenkorb
Erschienen am 12.05.2015
lieferbar
Buch

69.99

In den Warenkorb
lieferbar
Buch

85.60

In den Warenkorb
Erschienen am 15.11.2014
lieferbar

DevOps for Digital Leaders

Aruna Ravichandran, Kieran Taylor, Peter Waterhouse

0 Sterne
Buch

21.39

In den Warenkorb
Erschienen am 11.11.2016
lieferbar
Buch

74.99

In den Warenkorb
lieferbar

IT-Near- und Offshoring in der Praxis

Gerd Nicklisch, Jens Borchers, Ronald Krick, Rainer Rucks

0 Sterne
Buch

42.00

In den Warenkorb
lieferbar

Modeling with UML

Bernhard Rumpe

0 Sterne
Buch

74.89

In den Warenkorb
Erschienen am 27.07.2016
lieferbar
Buch

106.99

In den Warenkorb
Erschienen am 22.05.2015
lieferbar
Buch

69.54

In den Warenkorb
lieferbar
Buch

58.40

In den Warenkorb
Erschienen am 30.04.2016
lieferbar

Software Sourcing in the Age of Open

Pär J. Ågerfalk, Brian Fitzgerald, Klaas-Jan Stol

0 Sterne
Buch

58.84

In den Warenkorb
Erschienen am 05.05.2015
lieferbar

Form-Oriented Analysis

D. Draheim, G. Weber

0 Sterne
Buch

117.69

In den Warenkorb
Erschienen am 19.10.2004
lieferbar
Buch

29.90

In den Warenkorb
lieferbar
Weitere Empfehlungen zu „FME '93: Industrial-Strength Formal Methods “
0 Gebrauchte Artikel zu „FME '93: Industrial-Strength Formal Methods“
Zustand Preis Porto Zahlung Verkäufer Rating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich