![Formal Methods and Software Engineering Formal Methods and Software Engineering](https://bilder.buecher.de/produkte/23/23387/23387657m.jpg)
Broschiertes Buch
5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings
2003
27. Oktober 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-20461-9
eBook, PDF | 73,95 € |
![Multi-Objective Optimization using Artificial Intelligence Techniques Multi-Objective Optimization using Artificial Intelligence Techniques](https://bilder.buecher.de/produkte/56/56906/56906029m.jpg)
Broschiertes Buch
1st edition 2020
7. August 2019
Springer / Springer International Publishing / Springer, Berlin
978-3-030-24834-5
eBook, PDF | 48,95 € |
![Multi-Objective Optimization using Artificial Intelligence Techniques (eBook, PDF) Multi-Objective Optimization using Artificial Intelligence Techniques (eBook, PDF)](https://bilder.buecher.de/produkte/57/57196/57196910m.jpg)
eBook, PDF
24. Juli 2019
Springer International Publishing
Ähnliche Artikel
![Formal Methods at the Crossroads. From Panacea to Foundational Support Formal Methods at the Crossroads. From Panacea to Foundational Support](https://bilder.buecher.de/produkte/12/12490/12490466m.jpg)
Broschiertes Buch
10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers
2003
18. November 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-20527-2
![Model Checking Software Model Checking Software](https://bilder.buecher.de/produkte/14/14764/14764912m.jpg)
Broschiertes Buch
11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings
2004
18. März 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-21314-7
![Integrated Formal Methods Integrated Formal Methods](https://bilder.buecher.de/produkte/14/14763/14763568m.jpg)
Broschiertes Buch
4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
2004
24. März 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-21377-2
![Fundamental Approaches to Software Engineering Fundamental Approaches to Software Engineering](https://bilder.buecher.de/produkte/23/23387/23387283m.jpg)
Broschiertes Buch
6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
2003
14. März 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-00899-6
![Formal Methods for Components and Objects Formal Methods for Components and Objects](https://bilder.buecher.de/produkte/13/13284/13284323m.jpg)
Broschiertes Buch
Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures
2004
27. Oktober 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11315810,978-3-540-22942-1
![SDL 2005: Model Driven SDL 2005: Model Driven](https://bilder.buecher.de/produkte/21/21060/21060618m.jpg)
Broschiertes Buch
12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings
2005
9. Juni 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11506843,978-3-540-26612-9
![Model Checking Software Model Checking Software](https://bilder.buecher.de/produkte/23/23410/23410915m.jpg)
Broschiertes Buch
10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings
2003
28. April 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-40117-9
![Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems](https://bilder.buecher.de/produkte/20/20946/20946273m.jpg)
Broschiertes Buch
4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings
2006
19. September 2006
Springer / Springer Berlin Heidelberg / Springer, Berlin
11867340,978-3-540-45026-9
![Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis](https://bilder.buecher.de/produkte/14/14216/14216495m.jpg)
Broschiertes Buch
Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings
2004
19. Oktober 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11339656,978-3-540-23610-8
![Component-Based Software Engineering Component-Based Software Engineering](https://bilder.buecher.de/produkte/14/14739/14739110m.jpg)
Broschiertes Buch
7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings
2004
12. Mai 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11006947,978-3-540-21998-9
Ähnlichkeitssuche: Fact®Finder von OMIKRON