Summary goes here
-д хадгалсан:
| Формат: | Ном |
|---|---|
| Хэл сонгох: | англи |
| Нөхцлүүд: | |
| Шошгууд: |
Шошго нэмэх
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | fcb55873-60ce-4e19-b049-d7ecfb588b03 |
| isbn | 9783540724827 3540724826 |
| issn | |
| language | eng |
| physical | vi, 467 pages :illustrations ;24 cm. |
| publication | – publisher: Springer dateOfPublication: 2007 |
| publishDate | 2007 |
| subjects | |
| title | Formal methods for performance evaluation : 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 - June 2, 2007 ; advanced lectures / Marco Bernardo, Jane Hillston (eds.). |
| topic | Formal methods (Computer science) Integrated circuits Conference papers and proceedings. |