Machines, Computations, and Universality 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings /
| Corporate Author: | SpringerLink (Online service) |
|---|---|
| Other Authors: | Durand-Lose, Jérôme (Editor), Margenstern, Maurice (Editor) |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2007.
|
| Series: | Lecture Notes in Computer Science,
4664 |
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
Similar Items
-
Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers /
Published: (2005) -
Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings /
Published: (2015) -
Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings /
Published: (2014) -
Inductive Logic Programming 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 – August 3, 2011, Revised Selected Papers /
Published: (2012) -
Time for Verification Essays in Memory of Amir Pnueli /
Published: (2010)