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
|