![Heaven's Star Heaven's Star](https://bilder.buecher.de/produkte/36/36181/36181652n.jpg)
![Heaven, an Unexpected Journey Heaven, an Unexpected Journey](https://bilder.buecher.de/produkte/49/49034/49034519n.jpg)
Gebundenes Buch
One Man's Experience with Heaven, Angels, and the Afterlife
1. September 2017
Destiny Image
![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
![Verified Software: Theories, Tools, Experiments Verified Software: Theories, Tools, Experiments](https://bilder.buecher.de/produkte/23/23898/23898211m.jpg)
Broschiertes Buch
First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
2008
7. Juli 2008
Springer, Berlin
12282821
![Verified Software: Theories, Tools, Experiments Verified Software: Theories, Tools, Experiments](https://bilder.buecher.de/produkte/25/25403/25403603m.jpg)
Broschiertes Buch
Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings
2008
22. September 2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
12532179,978-3-540-87872-8
![Formal Methods and Hybrid Real-Time Systems Formal Methods and Hybrid Real-Time Systems](https://bilder.buecher.de/produkte/23/23080/23080314m.jpg)
Broschiertes Buch
Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
2007
6. September 2007
Springer, Berlin
12164615
![Domain Modeling and the Duration Calculus Domain Modeling and the Duration Calculus](https://bilder.buecher.de/produkte/23/23113/23113110m.jpg)
Broschiertes Buch
International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures
2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-74963-9
Ähnlichkeitssuche: Fact®Finder von OMIKRON