Formal Methods for Quantitative Aspects of Programming Languages [electronic resource] : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures / edited by Alessandro Aldini, Marco Bernardo, Alessandra Pierro, Herbert Wiklicky.
Tipo de material:
TextoSeries Lecture Notes in Computer Science ; 6154 | Lecture Notes in Computer Science ; 6154Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Descripción: VII, 169p. 31 illus. online resourceTipo de contenido: - text
- computer
- online resource
- 9783642136788
- SpringerLink (Online service)
- Computer science
- Monoclonal antibodies
- Software engineering
- Information systems
- Computer Science
- Software Engineering
- Software Engineering/Programming and Operating Systems
- Antibodies
- Mathematical Logic and Formal Languages
- Programming Languages, Compilers, Interpreters
- Information Systems Applications (incl.Internet)
- 005.1 23
- QA76.758
Contenidos:
Springer eBooks
No hay ítems correspondientes a este registro
Probabilistic Semantics and Program Analysis -- Measurement-Based and Universal Blind Quantum Computation -- Information Theory and Security: Quantitative Information Flow -- Performance and Security Tradeoff.
ZDB-2-SCS
ZDB-2-LNC
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.