| Creatore: |
Barzdinʹ, I͡A. M. (I͡An Martynovich)
|
| Titolo: |
Baltic Computer Science [electronic resource] : Selected Papers / by Janis Barzdins, Dines Bjorner
|
| Link to work: |
Baltic Computer Science
|
| Pubblicazione: |
Berlin, Heidelberg : Springer Berlin Heidelberg, 1991
|
| Index term-Uncontrolled: |
Computer Science |
| |
Algorithm Analysis and Problem Complexity |
| |
Computation by Abstract Devices |
| |
Logics and Meanings of Programs |
| |
Programming Languages, Compilers, Interpreters |
| |
Programming Techniques |
| |
Software Engineering |
| Soggetto non controllato: |
Computer Science |
| |
Algorithm Analysis and Problem Complexity |
| |
Computation by Abstract Devices |
| |
Logics and Meanings of Programs |
| |
Programming Languages, Compilers, Interpreters |
| |
Programming Techniques |
| |
Software Engineering |
| Termine d'indicizzazione-Occupazione: |
Computer Science |
| |
Algorithm Analysis and Problem Complexity |
| |
Computation by Abstract Devices |
| |
Logics and Meanings of Programs |
| |
Programming Languages, Compilers, Interpreters |
| |
Programming Techniques |
| |
Software Engineering |
| Creatori/Collaboratori: |
Bjørner, D. (Dines), , 1937-
|
| Accesso ente: |
SpringerLink (Online service)
|
| Collana: |
Lecture notes in computer science, 0302-9743 ; 502
|
|
| ISBN: |
9783540541318 |
| Formato: |
Software  |
| Livello bibliografico |
Monografia |
| Lingua di pubblicazione: |
Inglese |
| Record Nr.: | 7354924 |
|
| Localizzazioni e accesso elettronico |
http://dx.doi.org/10.1007/BFb0019352 |
| Lo trovi qui: |
University of Chicago |
| Item: |
Permalink to OPAC
|
