Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers
Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)
Bok Engelsk 2001 International Andrei Ershov Memorial Conference
| Annen tittel | |
|---|---|
| Utgitt | Berlin : Springer , c2001
|
| Omfang | XIII, 548 s. : ill.
|
| Emner | Computer programming
Systems engineering Beskranket programmering Computer Science Vis mer... Engineering & Applied Sciences
Informasjonsteknologi Logikkprogrammering Objektorientert programmering Programutvikling Verifikasjon Beskranket programmering((NO-TrBIB)REAL002777) Logikkprogrammering((NO-TrBIB)REAL009516) Objektorientert programmering((NO-TrBIB)REAL001244) Verifikasjon((NO-TrBIB)REAL006891) |
| Dewey | |
| ISBN | 354043075X
|
