Formal Methods and Software Engineering

6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings (Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
Formal engineering methods are changing the way that software systems are - veloped.Withlanguageandtoolsupport,theyarebeingusedforautomaticcode generation, and for the automatic abstraction and checking of implementations. In the future, they will be used...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei

Bestellnummer: 4598884

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

Bestellnummer: 4598884

Buch117.69
Jetzt vorbestellen
Formal engineering methods are changing the way that software systems are - veloped.Withlanguageandtoolsupport,theyarebeingusedforautomaticcode generation, and for the automatic abstraction and checking of implementations. In the future, they will be used...

Kommentar zu "Formal Methods and Software Engineering"

Andere Kunden kauften auch

Weitere Empfehlungen zu „Formal Methods and Software Engineering “

0 Gebrauchte Artikel zu „Formal Methods and Software Engineering“

ZustandPreisPortoZahlungVerkäuferRating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich