Custom cover image
Custom cover image

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-26, 2010, Advanced Lectures / edited by Alessandro Aldini, Marco Bernardo, Alessandra Pierro, Herbert Wiklicky

By: Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Lecture notes in computer science ; 6154Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Description: Online-Ressource (VII, 169p. 31 illus, digital)ISBN:
  • 9783642136788
  • 128038722X
Subject(s): Genre/Form: Additional physical formats: 9783642136771 | Buchausg. u.d.T.: Formal methods for quantitative aspects of programming languages. Berlin : Springer, 2010. 167 S. | Erscheint auch als: Formal methods for quantitative aspects of programming languages. Druck-Ausgabe. Berlin [u.a.] : Springer, 2010. VII, 167 S.DDC classification:
  • 005.1
  • 004
  • 005.131 22/ger
  • 004
MSC: MSC: *68-06 | 68N15 | 00B25LOC classification:
  • QA76.758
  • QA75.5
DOI: DOI: 10.1007/978-3-642-13678-8Online resources: Summary: Probabilistic Semantics and Program Analysis -- Measurement-Based and Universal Blind Quantum Computation -- Information Theory and Security: Quantitative Information Flow -- Performance and Security Tradeoff.PPN: PPN: 1649786409Package identifier: Produktsigel: ZDB-2-SCS | ZDB-2-LNC | ZDB-2-SEB | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-SEB
No physical items for this record
KIT – The Research University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT