Tools and Algorithms for the Construction and Analysis of Systems

4th International Conference, TACAS '98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998, Proceedings (Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
This book constitutes the refereed proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'98, held in conjunction with ETAPS in Lisbon, Portugal, in March/April 1998. The 28 revised full...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei

Bestellnummer: 3269759

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

Bestellnummer: 3269759

Buch96.29
Jetzt vorbestellen
This book constitutes the refereed proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'98, held in conjunction with ETAPS in Lisbon, Portugal, in March/April 1998. The 28 revised full...

Kommentar zu "Tools and Algorithms for the Construction and Analysis of Systems"

Andere Kunden kauften auch

Weitere Empfehlungen zu „Tools and Algorithms for the Construction and Analysis of Systems “

0 Gebrauchte Artikel zu „Tools and Algorithms for the Construction and Analysis of Systems“

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