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

19 results found
List viewGrid view
Sort By:
1.
Software Engineering
Software Engineering
By: Dines Bjorner, Dines Bjrner
Publisher: Springer Verlag Berlin Heidelberg
No Review Yet
AED337
Binding:
Digital (delivered electronically)
Release:
01 Jan 2006
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
2.
Formal Description of Programming Concepts
Formal Description of Programming Concepts
By: Dines Bjorner
Publisher: Elsevier Science & Technology
No Review Yet
AED170
Binding:
Hardback
Release:
/05/1983
Out of Stock
Notify me when this book is in stockNotify Me
3.
Logics of Specification Languages
Logics of Specification Languages
By: Dines Bjorner, Martin C Henson
Publisher: Springer
No Review Yet
AED96
Binding:
Paperback
Release:
12 Aug 2008
Out of Stock
Notify me when this book is in stockNotify Me
4.
Software Engineering 2
Software Engineering 2
By: Dines Bjorner
Publisher: Springer
No Review Yet
AED25
Binding:
Paperback
Release:
03 Sep 2008
Out of Stock
Notify me when this book is in stockNotify Me
5.
Software Engineering 1
Software Engineering 1
By: Dines Bjorner
Publisher: Springer
No Review Yet
AED96
Binding:
Paperback
Release:
03 Sep 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
AED96
Binding:
Paperback
Release:
03 Sep 2008
Out of Stock
Notify me when this book is in stockNotify Me
7.
Images of Programming
Images of Programming
By: Dines Bjorner, V. Kotov
Publisher: Elsevier Science & Technology
No Review Yet
AED323
Binding:
Hardback
Release:
/12/1991
Out of Stock
Notify me when this book is in stockNotify Me
8.
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
AED216
Binding:
Hardback
Release:
01 Jan 1982
Out of Stock
Notify me when this book is in stockNotify Me
9.
Perspectives of System Informatics
Perspectives of System Informatics
By: Manfred Broy, Dines Bjorner, Alexandre V Zamulin
Publisher: Springer
No Review Yet
AED373
Binding:
Digital (delivered electronically)
Release:
01 Sep 2006
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
10.
Perspectives of System Informatics
Perspectives of System Informatics
By: Manfred Broy, Dines Bjorner, Igor V Pottosin
Publisher: Springer
No Review Yet
AED366
Binding:
Digital (delivered electronically)
Release:
01 Feb 1997
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
11.
Baltic Computer Science
Baltic Computer Science
By: Janis Barzdins, Dines Bjorner
Publisher: Springer
No Review Yet
AED96
Binding:
Paperback
Release:
15 Jan 2014
Out of Stock
Notify me when this book is in stockNotify Me
12.
Perspectives of System Informatics
Perspectives of System Informatics
By: Manfred Broy, Dines Bjorner, Alexandre V Zamulin
Publisher: Springer
No Review Yet
AED96
Binding:
Paperback
Release:
15 Jan 2014
Out of Stock
Notify me when this book is in stockNotify Me
13.
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
AED310
Binding:
Digital (delivered electronically)
Release:
01 Dec 1993
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
14.
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
AED481
Binding:
Digital (delivered electronically)
Release:
/12/2008
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
15.
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
AED495
Binding:
Hardback
Release:
/11/1988
Out of Stock
Notify me when this book is in stockNotify Me
16.
VDM '90. VDM and Z - Formal Methods in Software Development
VDM '90. VDM and Z - Formal Methods in Software Development
By: Hans Langmaack, Dines Bjorner, C a R Hoare
Publisher: Springer
No Review Yet
AED96
Binding:
Paperback
Release:
15 Jan 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, Igor V Pottosin
Publisher: Springer
No Review Yet
AED96
Binding:
Paperback
Release:
15 Jan 2014
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, Alexandre Zamulin
Publisher: Springer
No Review Yet
AED24
Binding:
Paperback
Release:
15 Jan 2014
Out of Stock
Notify me when this book is in stockNotify Me
19.
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
AED29
Binding:
Paperback
Release:
12 Sep 2014
Out of Stock
Notify me when this book is in stockNotify Me
No more records found