KOBV Portal

Hits per page

hit 1 - 1 | 1 hit

Select All Export

Online Resource

Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31 - April 2, 2010 ; revised selected papers (2011)

Calinescu, Radu C. [Sonstige] 1968- ; Monterey Workshop 16 2010 Redmond, Wash.

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV039141881

Format: 1 Online-Ressource (XII, 238 S.) , Ill., graph. Darst. , 24 cm

ISBN: 9783642212918 , 9783642212925

Series Statement: Lecture notes in computer science 6662

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Software Engineering ; Formale Methode ; Adaptives System ; Verifikation ; Theoretische Informatik ; Programmierung ; Konferenzschrift ; Konferenzschrift

DOI: 10.1007/978-3-642-21292-5

URL: Volltext

URL: Volltext (lizenzpflichtig)

Author information: Calinescu, Radu C. 1968-

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

UB Potsdam

BTU Cottbus

hit 1 - 1 | 1 hit

Kooperativer Bibliotheksverbund

Berlin Brandenburg