Vai al contenuto principale della pagina

Baltic Computer Science [electronic resource] : Selected Papers / by Janis Barzdins, Dines Bjorner



(Visualizza formato Marc21)    (visualizza in BIBRAME 2.0)

Creatore: Barzdinʹ, I͡A. M. (I͡An Martynovich) Visualizza persona
Titolo: Baltic Computer Science [electronic resource] : Selected Papers / by Janis Barzdins, Dines Bjorner
Link to work: Baltic Computer Science Visualizza cluster
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
Fa parte di: Springer e-books