Leveraging Applications of Formal Methods, Verification and Validation : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / edited by Tiziana Margaria, Bernhard Steffen

By:

Contributor(s):

Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Communications in Computer and Information Science ; 17 | SpringerLink Bücher | Springer eBook Collection Computer SciencePublisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Description: Online-Ressource (XIV, 869 p, online resource)ISBN:

Subject(s):

Genre/Form:

Additional physical formats: 9783540884781 | Erscheint auch als: Leveraging applications of formal methods, verification and validation. Druck-Ausgabe. Berlin : Springer, 2008. XIV, 869 S.DDC classification:

RVK: RVK: ST 233LOC classification:

DOI: DOI: 10.1007/978-3-540-88479-8Online resources:

PPN: PPN: 1647607884Package identifier: Produktsigel: ZDB-2-SCS

No physical items for this record