Buy books written by Dines Bjørner 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 Bjørner

Dines Bjørner

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, Cliff Jones, Erich J. Neuhold, Dines Bjørner
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED262
Binding:
Paperback
Release:
11 Mar 1987
Language:
English
International Edition
Ships within 10-12 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, Dines Bjørner, C.A.R. Hoare
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED244
Binding:
Paperback
Release:
04 Apr 1990
Language:
English
Available
Ships within 14-16 Days Explain..
3.
Software Engineering 2
Software Engineering 2
By: Dines Bjørner
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED244
Binding:
Paperback
Release:
12 Feb 2010
Language:
English
Available
Ships within 14-16 Days Explain..
4.
Software Engineering 3
Software Engineering 3
By: Dines Bjørner
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED536
Binding:
Paperback
Release:
12 Feb 2010
Language:
English
Available
Ships within 14-16 Days Explain..
5.
Software Engineering 3
Software Engineering 3
By: Dines Bjørner
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED500
Binding:
Hardback
Release:
09 Mar 2006
Language:
English
International Edition
Ships within 10-12 Days Explain..
6.
The Structure of Pure Reason
The Structure of Pure Reason
By: Dines Bjørner, Kai Sørlander
Publisher: Springer International Publishing AG
No Review Yet
AED536
Binding:
Hardback
Release:
25 Feb 2025
Language:
English
Available
Ships within 14-16 Days Explain..
7.
Domain Science and Engineering
Domain Science and Engineering
By: Dines Bjørner
Publisher: Springer Nature Switzerland AG
No Review Yet
AED828
Binding:
Paperback
Release:
10 Nov 2022
Language:
English
Available
Ships within 14-16 Days Explain..
8.
Domain Science and Engineering
Domain Science and Engineering
By: Dines Bjørner
Publisher: Springer Nature Switzerland AG
No Review Yet
AED828
Binding:
Hardback
Release:
09 Nov 2021
Language:
English
Available
Ships within 14-16 Days Explain..
9.
Software Engineering 1
Software Engineering 1
By: Dines Bjørner
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED500
Binding:
Hardback
Release:
19 Dec 2005
Language:
English
International Edition
Ships within 10-12 Days Explain..
10.
Software Engineering 1
Software Engineering 1
By: Dines Bjørner
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED414
Binding:
Paperback
Release:
12 Feb 2010
Language:
English
Available
Ships within 14-16 Days Explain..
11.
Software Engineering 2
Software Engineering 2
By: Dines Bjørner
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED177
Binding:
Hardback
Release:
22 Feb 2006
Language:
English
Available
Ships within 10-12 Days Explain..
12.
Logics of Specification Languages
Logics of Specification Languages
By: Martin C. Henson, Dines Bjørner
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED731
Binding:
Hardback
Release:
07 Dec 2007
Language:
English
Available
Ships within 14-16 Days Explain..
13.
Baltic Computer Science
Baltic Computer Science
By: Janis Barzdins, Dines Bjørner
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED492
Binding:
Paperback
Release:
28 Jun 1991
Language:
English
International Edition
Ships within 10-12 Days Explain..
14.
Logics of Specification Languages
Logics of Specification Languages
By: Martin C. Henson, Dines Bjørner
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED731
Binding:
Paperback
Release:
22 Nov 2010
Language:
English
Available
Ships within 14-16 Days Explain..
15.
Formal Methods in Programming and Their Applications
Formal Methods in Programming and Their Applications
By: Igor V. Pottosin, Manfred Broy, Dines Bjørner
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED262
Binding:
Paperback
Release:
05 Oct 1993
Language:
English
International Edition
Ships within 10-12 Days Explain..
16.
Perspectives of System Informatics
Perspectives of System Informatics
By: Manfred Broy, Alexandre Zamulin, Dines Bjørner
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED271
Binding:
Paperback
Release:
14 Dec 2001
Language:
English
International Edition
Ships within 10-12 Days Explain..
17.
Perspectives of System Informatics
Perspectives of System Informatics
By: Igor V. Pottosin, Manfred Broy, Dines Bjørner
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED244
Binding:
Paperback
Release:
04 Dec 1996
Language:
English
Available
Ships within 14-16 Days Explain..
18.
Perspectives of System Informatics
Perspectives of System Informatics
By: Alexandre V. Zamulin, Manfred Broy, Dines Bjørner
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED487
Binding:
Paperback
Release:
26 Jan 2000
Language:
English
Available
Ships within 14-16 Days Explain..
19.
Modelling Systems
Modelling Systems
By: John Fitzgerald, Peter Gorm Larsen, Cliff Jones, Dines Bjørner
Publisher: Cambridge University Press
No Review Yet
AED12
Binding:
SA
Release:
25 Jun 1998
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
20.
Modelling Systems
Modelling Systems
By: John Fitzgerald, Peter Gorm Larsen, Cliff Jones, Dines Bjørner
Publisher: Cambridge University Press
No Review Yet
AED12
Binding:
SA
Release:
25 Jun 1998
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found
Hello, User