Normal view MARC view ISBD view

Rigorous methods for software construction and analysis essays dedicated to Egon Borger on the occasion of his 60th birthday /

Rigorous methods for software construction and analysis essays dedicated to Egon Borger on the occasion of his 60th birthday / [electronic resource] : edited by Jean-Raymond Abrial, Uwe Glasser. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009. - xvi, 233 pages : illustrations, digital. - Lecture notes in computer science, 5115 0302-9743 ; .

ISBN: 9783642114472

Subjects--Topical Terms:
Formal methods (Computer science)
Algorithms.
Computing Methodologies.
Mathematics of Computing.
Algorithm Analysis and Problem Complexity.
Mathematical Logic and Formal Languages.
Theory of Computation.

Dewey Class. No.: 004.0151

Print
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)

Rigorous methods for software construction and analysis essays dedicated to Egon Borger on the occasion of his 60th birthday /

Contact Us

Copyright ©The National University of Malaysia Library