Existencias: Formal Methods in Software and Systems Modeling

Guardado en:

Autor Principal:	Kreowski, Hans-Jörg.
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Montanari, Ugo., Orejas, Fernando., Rozenberg, Grzegorz., Taentzer, Gabriele.
Formato:	Electrónico
Idioma:	English
Publicado:	Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005.
Series:	Lecture Notes in Computer Science, 3393
Materias:	Computer science Software engineering Logic design Computational complexity Computer Science Mathematical Logic and Formal Languages Logics and Meanings of Programs Software Engineering Discrete Mathematics in Computer Science Programming Languages, Compilers, Interpreters Computation by Abstract Devices
Acceso en línea:	SpringerLink, via BECYT
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Recurso en línea

SpringerLink, via BECYT