Summary goes here
Պահպանված է:
| Ձևաչափ: | Գիրք |
|---|---|
| Լեզու: | անգլերեն |
| Խորագրեր: | |
| Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 3bfc2bfd-a7a7-43bd-9920-2f99a6a4d846 |
| isbn | 9783642252716 3642252710 3642252702 9783642252709 |
| issn | |
| language | eng |
| physical | 1 online resource (xi, 391 pages) :illustrations |
| publication | – publisher: Springer dateOfPublication: ©2011 |
| publishDate | ©2011 |
| subjects | |
| title | Formal methods for components and objects : 9th international symposium, FMCO 2010, Graz, Austria, November 29-December 1, 2010 : revised papers / Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue (eds.). |
| topic | Formal methods (Computer science) Méthodes formelles (Informatique) Informatique. Formal methods (Computer science) Computer science Software engineering Operating systems (Computers) Logic design Programming Languages, Compilers, Interpreters Operating Systems Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Programming Techniques computerwetenschappen computer sciences programmeertalen programming languages programmeren programming Information and Communication Technology (General) Informatie- en communicatietechnologie (algemeen) Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. |