Buy Used and New Dines Bjorner Books

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

VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings: 428 (Lecture Notes in Computer Science)

by Hans Langmaack, Dines Bjorner, C.A.R. Hoare

ISBN 13: 9783540525134

Format: Paperback (608 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings (Lecture Notes in Computer Science)

by Dines Bjorner

ISBN 13: 9783540620648

Format: Paperback (472 pages)
Publisher: Springer
Published: 19 Dec 1996

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