Buy books written by Dines Bjørner Available at Bookswagon

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Dines Bjørner

20 results found

Sort By:

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

AED269

Binding:	Paperback
Release:	11 Mar 1987
Language:	English

International Edition

Ships within 16-18 Days Explain..

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

AED253

Binding:	Paperback
Release:	04 Apr 1990
Language:	English

Available

Ships within 14-16 Days Explain..

Software Engineering 2

By: Dines Bjørner

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED253

Binding:	Paperback
Release:	12 Feb 2010
Language:	English

Available

Ships within 14-16 Days Explain..

Software Engineering 3

By: Dines Bjørner

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED557

Binding:	Paperback
Release:	12 Feb 2010
Language:	English

Available

Ships within 14-16 Days Explain..

Software Engineering 3

By: Dines Bjørner

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED505

Binding:	Hardback
Release:	09 Mar 2006
Language:	English

International Edition

Ships within 12-14 Days Explain..

The Structure of Pure Reason

By: Dines Bjørner, Kai Sørlander

Publisher: Springer International Publishing AG

No Review Yet

AED557

Binding:	Hardback
Release:	25 Feb 2025
Language:	English

Available

Ships within 14-16 Days Explain..

Domain Science and Engineering

By: Dines Bjørner

Publisher: Springer Nature Switzerland AG

No Review Yet

AED804

Binding:	Paperback
Release:	10 Nov 2022
Language:	English

International Edition

Ships within 18-20 Days Explain..

Domain Science and Engineering

By: Dines Bjørner

Publisher: Springer Nature Switzerland AG

No Review Yet

AED812

Binding:	Hardback
Release:	09 Nov 2021
Language:	English

International Edition

Ships within 18-20 Days Explain..

Software Engineering 1

By: Dines Bjørner

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED520

Binding:	Hardback
Release:	19 Dec 2005
Language:	English

International Edition

Ships within 16-18 Days Explain..

10.

Software Engineering 1

By: Dines Bjørner

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED430

Binding:	Paperback
Release:	12 Feb 2010
Language:	English

Available

Ships within 14-16 Days Explain..

11.

Software Engineering 2

By: Dines Bjørner

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED170

Binding:	Hardback
Release:	22 Feb 2006
Language:	English

Available

Ships within 10-12 Days Explain..

12.

Logics of Specification Languages

By: Martin C. Henson, Dines Bjørner

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED759

Binding:	Paperback
Release:	22 Nov 2010
Language:	English

Available

Ships within 14-16 Days Explain..

13.

Baltic Computer Science

By: Janis Barzdins, Dines Bjørner

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED512

Binding:	Paperback
Release:	28 Jun 1991
Language:	English

International Edition

Ships within 16-18 Days Explain..

14.

Logics of Specification Languages

By: Martin C. Henson, Dines Bjørner

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED512

Binding:	Hardback
Release:	07 Dec 2007
Language:	English

Available

Ships within 14-16 Days Explain..

15.

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

AED269

Binding:	Paperback
Release:	05 Oct 1993
Language:	English

International Edition

Ships within 16-18 Days Explain..

16.

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

AED253

Binding:	Paperback
Release:	04 Dec 1996
Language:	English

Available

Ships within 14-16 Days Explain..

17.

Perspectives of System Informatics

By: Manfred Broy, Alexandre Zamulin, Dines Bjørner

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED281

Binding:	Paperback
Release:	14 Dec 2001
Language:	English

International Edition

Ships within 16-18 Days Explain..

18.

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

AED506

Binding:	Paperback
Release:	26 Jan 2000
Language:	English

Available

Ships within 14-16 Days Explain..

19.

Modelling Systems

By: John Fitzgerald, Peter Gorm Larsen, Cliff Jones, Dines Bjørner

Publisher: Cambridge University Press

No Review Yet

AED13

Binding:	SA
Release:	25 Jun 1998
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

20.

Modelling Systems

By: John Fitzgerald, Peter Gorm Larsen, Cliff Jones, Dines Bjørner

Publisher: Cambridge University Press

No Review Yet

AED13

Binding:	SA
Release:	25 Jun 1998
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

No more records found