Name: Formal Methods: Foundations and Applications
Brand: Springer International Publishing
SKU: ID12922809
Availability: InStock

Formal Methods: Foundations and Applications

42.80 EUR

Ein kompakter Sammelband aus dem 17. brasilianischen Symposium zu formalen Methoden, der innovative Modellierungsansätze, neue Verifikationstechniken und praxisnahe Fallstudien für theoretische Forscher und Entwickler zusammenführt.

Marke: Springer International Publishing

ISBN: 331915074X

MPN: 39 black & white illustrations, biograph

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert 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)

Medimops DE

42.80 EUR 42.80 EUR

22-04-2026 17:40:58

Access to the deal

Gesponsert Formal Methods: Foundations and Applications

SpringerLink DE

42.80 EUR 42.80 EUR

22-04-2026 09:14:31

Access to the deal

Gesponsert Formal Methods: Foundations and Applications, Fachbücher von Narciso Martí-Oliet, Christiano Braga

Galaxus.de

42.80 EUR 42.80 EUR

21-04-2026 19:51:01

Access to the deal

Formal Methods: Foundations and Applications

Gesponsert 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)

Gesponsert Formal Methods: Foundations and Applications

Gesponsert Formal Methods: Foundations and Applications, Fachbücher von Narciso Martí-Oliet, Christiano Braga

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Formal Methods: Foundations and Applications

Gesponsert 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)

Gesponsert Formal Methods: Foundations and Applications

Gesponsert Formal Methods: Foundations and Applications, Fachbücher von Narciso Martí-Oliet, Christiano Braga

Ähnliche Produkte

Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

FME '97 Industrial Applications and Strengthened Foundations of Formal Methods

Formal Methods: Foundations and Applications