Name: Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development
Brand: Springer Berlin Heidelberg
SKU: ID12578524
Availability: InStock

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development

50.28 EUR

Ein umfangreiches Werk aus der TAPSOFT-Konferenz, das die theoretische Fundierung formaler Methoden mit praktischen Softwareentwicklungsansätzen verbindet und innovative Verifikationsstrategien sowie Fallstudien präsentiert.

Marke: Springer Berlin Heidelberg

ISBN: 3540151990

MPN: 6922380

Angebote
Merkmale

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

Gesponsert Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), B

SpringerLink DE

50.28 EUR 50.28 EUR

19-06-2026 18:49:01

Access to the deal

Gesponsert Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), ... (CSE) (Lecture Notes in Computer Science)

Medimops DE

50.28 EUR 50.28 EUR

20-06-2026 02:08:14

Access to the deal

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development

Gesponsert Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), B

Gesponsert Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), ... (CSE) (Lecture Notes in Computer Science)

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development

Gesponsert Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), B

Gesponsert Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), ... (CSE) (Lecture Notes in Computer Science)

Ähnliche Produkte

VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings (Lecture Notes in Computer Science, 428, Band 428)

Software Engineering and Formal Methods

Formal Methods for Industrial Critical Systems: 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings

Formal Methods for Dynamical Systems