ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday /

Detalles Bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Katoen, Joost-Pieter. (Editor ), Langerak, Rom. (Editor ), Rensink, Arend. (Editor )
Formato:	eBook
Lenguaje:	English
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:	1st ed. 2017.
Colección:	Programming and Software Engineering ; 10500
Materias:	Computer logic. Software engineering. Programming languages (Electronic computers). Computer simulation. Mathematical logic. Algorithms. Logics and Meanings of Programs. Software Engineering. Programming Languages, Compilers, Interpreters. Simulation and Modeling. Mathematical Logic and Formal Languages. Algorithm Analysis and Problem Complexity.
Acceso en línea:	https://doi.org/10.1007/978-3-319-68270-9

Tabla de Contenidos:

Ejemplares similares