Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings (Lecture Notes in Computer Science, Band 7498)

Ein kompakter Leitfaden aus dem 15. brasilianischen Symposium zu formalen Methoden, der theoretische Prinzipien mit konkreten Fallstudien verbindet un ...
Wo zu kaufen (2) Eigenschaften
Gesponsert
Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings (Lecture Notes in Computer Science, Band 7498)
Medimops DE
49.22 EUR
Preis aktualisiert am: 07-09-2026 06:08:21
Siehe Produktangebot
Gesponsert
Formal Methods: Foundations and Applications
SpringerLink DE
61.62 EUR
Preis aktualisiert am: 07-09-2026 11:13:39
Siehe Produktangebot

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3642332951
MPN
Springer Berlin Heidelberg 67 black & white illustrations

Eigenschaften

Ähnliche Produkte

Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
Produkt anzeigen
Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
Produkt anzeigen
Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings (Lecture Notes in Computer Science)
Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings (Lecture Notes in Computer Science)
Produkt anzeigen
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, S.B.M.F. 2009 Gramado, Brazil, August 19-21, 2009 Revised ... Notes in Computer Science, 5902, Band 5902)
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, S.B.M.F. 2009 Gramado, Brazil, August 19-21, 2009 Revised ... Notes in Computer Science, 5902, Band 5902)
Produkt anzeigen
Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings (Lecture Notes in Computer Science, Band 8941)
Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings (Lecture Notes in Computer Science, Band 8941)
Produkt anzeigen
Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (Lecture Notes in Computer Science)
Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (Lecture Notes in Computer Science)
Produkt anzeigen
Menü