Buy books written by Dines Bjorner Available at Bookswagon
Logo1
Login & Sign up
AddBanner
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
humburger icon Categories
Close

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
Dines Bjorner

Dines Bjorner

20 results found
List viewGrid view
Sort By:
1.
VDM '87. VDM - A Formal Method at Work
VDM '87. VDM - A Formal Method at Work
By: Michael Mac an Airchinnigh, Dines Bjorner, Cliff Jones, Erich J. Neuhold
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED261
Binding:
Paperback
Release:
11 Mar 1987
Language:
English
International Edition
Ships within 12-14 Days Explain..
2.
VDM '90. VDM and Z - Formal Methods in Software Development
VDM '90. VDM and Z - Formal Methods in Software Development
By: Hans Langmaack, C. a. R. Hoare, Dines Bjorner
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED263
Binding:
Paperback
Release:
04 Apr 1990
Language:
English
International Edition
Ships within 12-14 Days Explain..
3.
Towards a Formal Description of Ada
Towards a Formal Description of Ada
By: O. N. Oest, Dines Bjorner
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED496
Binding:
Paperback
Release:
01 Dec 1980
Language:
English
International Edition
Ships within 12-14 Days Explain..
4.
Software Engineering
Software Engineering
By: Dines Bjorner, Dines Bjrner
Publisher: Springer Verlag Berlin Heidelberg
No Review Yet
AED369
Binding:
Digital (delivered electronically)
Release:
01 Jan 2006
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
5.
Logics of Specification Languages
Logics of Specification Languages
By: Dines Bjorner, Martin C Henson
Publisher: Springer
No Review Yet
AED105
Binding:
Paperback
Release:
12 Aug 2008
Out of Stock
Notify me when this book is in stockNotify Me
6.
Software Engineering 3
Software Engineering 3
By: Dines Bjorner
Publisher: Springer
No Review Yet
AED105
Binding:
Paperback
Release:
03 Sep 2008
Out of Stock
Notify me when this book is in stockNotify Me
7.
Software Engineering 1
Software Engineering 1
By: Dines Bjorner
Publisher: Springer
No Review Yet
AED105
Binding:
Paperback
Release:
03 Sep 2008
Out of Stock
Notify me when this book is in stockNotify Me
8.
Images of Programming
Images of Programming
By: Dines Bjorner, V. Kotov
Publisher: Elsevier Science & Technology
No Review Yet
AED354
Binding:
Hardback
Release:
/12/1991
Out of Stock
Notify me when this book is in stockNotify Me
9.
Formal Description of Programming Concepts
Formal Description of Programming Concepts
By: Dines Bjorner
Publisher: Elsevier Science & Technology
No Review Yet
AED186
Binding:
Hardback
Release:
/05/1983
Out of Stock
Notify me when this book is in stockNotify Me
10.
Baltic Computer Science
Baltic Computer Science
By: Janis Barzdins, Dines Bjorner
Publisher: Springer
No Review Yet
AED105
Binding:
Paperback
Release:
15 Jan 2014
Out of Stock
Notify me when this book is in stockNotify Me
11.
Formal Specification and Software Development
Formal Specification and Software Development
By: etc., Dines Bjorner
Publisher: Prentice Hall (Higher Education Division, Pearson Education)
No Review Yet
AED236
Binding:
Hardback
Release:
01 Jan 1982
Out of Stock
Notify me when this book is in stockNotify Me
12.
Partial Evaluation and Mixed Computation
Partial Evaluation and Mixed Computation
By: A. P. Ershov, Dines Bjorner, N.D. Jones
Publisher: Elsevier Science & Technology
No Review Yet
AED542
Binding:
Hardback
Release:
/11/1988
Out of Stock
Notify me when this book is in stockNotify Me
13.
Logics of Specification Languages
Logics of Specification Languages
By: Martin C. Henson, Dines Bjorner
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED527
Binding:
Digital (delivered electronically)
Release:
/12/2008
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
14.
Formal Methods in Programming and Their Applications
Formal Methods in Programming and Their Applications
By: Manfred Broy, Dines Bjorner, Igor V Pottosin
Publisher: Springer
No Review Yet
AED340
Binding:
Digital (delivered electronically)
Release:
01 Dec 1993
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
15.
Perspectives of System Informatics
Perspectives of System Informatics
By: Manfred Broy, Dines Bjorner, Alexandre V Zamulin
Publisher: Springer
No Review Yet
AED105
Binding:
Paperback
Release:
15 Jan 2014
Out of Stock
Notify me when this book is in stockNotify Me
16.
Formal Methods in Programming and Their Applications
Formal Methods in Programming and Their Applications
By: Manfred Broy, Dines Bjorner, Igor V Pottosin
Publisher: Springer
No Review Yet
AED32
Binding:
Paperback
Release:
12 Sep 2014
Out of Stock
Notify me when this book is in stockNotify Me
17.
Perspectives of System Informatics
Perspectives of System Informatics
By: Manfred Broy, Dines Bjorner, Alexandre V Zamulin
Publisher: Springer
No Review Yet
AED409
Binding:
Digital (delivered electronically)
Release:
01 Sep 2006
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
18.
Perspectives of System Informatics
Perspectives of System Informatics
By: Manfred Broy, Dines Bjorner, Igor V Pottosin
Publisher: Springer
No Review Yet
AED401
Binding:
Digital (delivered electronically)
Release:
01 Feb 1997
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
19.
Perspectives of System Informatics
Perspectives of System Informatics
By: Manfred Broy, Dines Bjorner, Alexandre Zamulin
Publisher: Springer
No Review Yet
AED26
Binding:
Paperback
Release:
15 Jan 2014
Out of Stock
Notify me when this book is in stockNotify Me
20.
Perspectives of System Informatics
Perspectives of System Informatics
By: Manfred Broy, Dines Bjorner, Igor V Pottosin
Publisher: Springer
No Review Yet
AED105
Binding:
Paperback
Release:
15 Jan 2014
Out of Stock
Notify me when this book is in stockNotify Me
No more records found