Buy Used and New Dines Bjorner Books

Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... Papers (Lecture Notes in Computer Science)

by

ISBN 13: 9783540430759

Format: Paperback (548 pages)
Publisher: Springer
Published: 14 Dec 2001
Other Format: Paperback

Save for later

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

by

ISBN 13: 9783540741060

Format: Hardcover (624 pages)
Publisher: Springer
Published: 07 Dec 2007

Save for later

Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 ... (Lecture Notes in Computer Science)

by

ISBN 13: 9783540671022

Format: Paperback (540 pages)
Publisher: Springer
Published: 26 Jan 2000
Other Format: Paperback

Save for later

VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings: 252 (Lecture Notes in Computer Science)

by Cliff Jones,Dines Bjorner,Erich J. Neuhold,Michael Mac An Airchinnigh

ISBN 13: 9783540176541

Format: Paperback (436 pages)
Publisher: Springer
Published: 11 Mar 1987

Save for later

Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings: 735 (Lecture Notes in Computer Science)

by Manfred Broy,Dines Bjorner,Igor V. Pottosin

ISBN 13: 9783540573166

Format: Paperback (452 pages)
Publisher: Springer
Published: 05 Oct 1993

Save for later

Baltic Computer Science: Selected Papers: 502 (Lecture Notes in Computer Science)

by Dines Bjorner,Janis Barzdins

ISBN 13: 9783540541318

Format: Illustrated (636 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later