Chargement en cours…

Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures /

Détails bibliographiques
Cote:	Libro Electrónico
Collectivité auteur:	SpringerLink (Online service)
Autres auteurs:	Aldini, Alessandro (Éditeur intellectuel), Bernardo, Marco (Éditeur intellectuel), Di Pierro, Alessandra (Éditeur intellectuel), Wiklicky, Herbert (Éditeur intellectuel)
Format:	Électronique eBook
Langue:	Inglés
Publié:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Édition:	1st ed. 2010.
Collection:	Programming and Software Engineering, 6154
Sujets:	Software engineering. Immunology. Immunospecificity. Machine theory. Compilers (Computer programs). Software Engineering. Adaptive Immunity. Formal Languages and Automata Theory. Compilers and Interpreters.
Accès en ligne:	Texto Completo

Internet

Texto Completo

Error inesperado del formato de respuesta.