Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage

Treffer: Proceedings of the First International Workshop on Formal Methods in Software Engineering Rigorous and Agile Approaches

Titel:

Beteiligt:

Körperschaft:

Veröffentlicht:

Piscataway, NJ : IEEE Press, 2012

Vertrieb:

New York, NY : ACM

Umfang:

1 Online-Ressource (63 pages)

Publikationstyp:

E-Book

Sprache:

Englisch

Anmerkungen:

Title from The ACM Digital Library

ISBN:

9781467319065

Zusatz-Informationen