Normal view MARC view ISBD view

Software Engineering vol. 2 Specification of Systems and Languages

Bjorner, Dines

Software Engineering vol. 2 Specification of Systems and Languages [electronic resource] Dines Bjorner - Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006 - vol. 1-3 ill., digital 24 cm vol 1: 777 p. - Texts in Theoretical Computer Science An EATCS Series. .

Index
Bibliografie

eng

ISBN: 9783540331933 (electronic bk.) 9783540211501 (paper)

Subjects--Topical Terms:
Software engineering
Computer programming
Computer Science.
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Programming Techniques
Software Engineering

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Place hold
Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)