Vai al contenuto principale della pagina

Software engineering and formal methods [electronic resource] : 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings / Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.).



(Visualizza formato Marc21)    (visualizza in BIBRAME 2.0)

Creatore: International Conference on Software Engineering and Formal Methods (9th : 2011 : Montevideo, Uruguay)
Titolo: Software engineering and formal methods [electronic resource] : 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings / Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.).
Link to work: Software engineering and formal methods Visualizza cluster
Pubblicazione: Heidelberg ; New York : Springer, c2011
Estensione: 1 online resource (xiv, 504 p.) : ill. (some col.
Disciplina: 005.3
Titolo uniforme di collana: Lecture notes in computer science ; 7041. 0302-9743
Genere/Forma: Electronic books
Index term-Uncontrolled: Computer science
Computer Communication Networks
Software engineering
Logic design
Artificial intelligence
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Programming Techniques
Artificial Intelligence (incl. Robotics)
Soggetto non controllato: Computer science
Computer Communication Networks
Software engineering
Logic design
Artificial intelligence
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Programming Techniques
Artificial Intelligence (incl. Robotics)
Termine d'indicizzazione-Occupazione: Computer science
Computer Communication Networks
Software engineering
Logic design
Artificial intelligence
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Programming Techniques
Artificial Intelligence (incl. Robotics)
Classificazione LOC: QA76.758 .I58 2011
Creatori/Collaboratori: Barthe, Gilles
Pardo, Alberto
Schneider, Gerardo
Contenuto supplementare: Includes bibliographical references and index.
Restrizioni accesso: Restricted for use by site license.
Forme fisiche agg.: Also available in print.
Requisiti sistema: Mode of access: World Wide Web.
Collana: Lecture notes in computer science, 0302-9743 ; 7041
Varianti del titolo: SEFM 2011
ISBN: 9783642246906 (electronic bk.)
3642246907 (electronic bk.)
9783642246890
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9960088593503681
Localizzazioni e accesso elettronico http://hdl.library.upenn.edu/1017.12/1243824
Lo trovi qui: University of Pennsylvania
Item: Permalink to OPAC