Instruction Sequences for Computer Science
This book demonstrates that the concept of an instruction sequence offers a novel and useful viewpoint on issues relating to diverse subjects in computer science. Selected issues relating to well-known subjects from the theory of computation and the area of computer architecture are rigorously inves...
Clasificación: | Libro Electrónico |
---|---|
Autores principales: | Bergstra, Jan A. (Autor), Middelburg, Cornelis A. (Autor) |
Autor Corporativo: | SpringerLink (Online service) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Paris :
Atlantis Press : Imprint: Atlantis Press,
2012.
|
Edición: | 1st ed. 2012. |
Colección: | Atlantis Studies in Computing,
2 |
Temas: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
Reversible Computation Third International Workshop, Gent, Belgium, July 4-5, 2011, Revised Papers /
Publicado: (2012) -
Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /
Publicado: (2005) -
Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings /
Publicado: (2016) -
Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings /
Publicado: (2015) -
Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /
Publicado: (2010)