Hans Langmaack

13 results found

Sort By:

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

AED225

Binding:	Paperback
Release:	04 Apr 1990
Language:	English

Available

Ships within 14-16 Days Explain..

LOGLAN '88 - Report on the Programming Language

By: Hans Langmaack, Antoni Kreczmar, Andrzej Salwicki, Marek Warpechowski, Teresa M. Przytycka

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

No Review Yet

AED251

Binding:	Paperback
Release:	07 Mar 1990
Language:	English

International Edition

Ships within 10-12 Days Explain..

Formal Methods for Industrial Applications

By: Hans Langmaack, Jean-Raymond Abrial, Egon Börger

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

No Review Yet

AED449

Binding:	Paperback
Release:	30 Oct 1996
Language:	English

Available

Ships within 14-16 Days Explain..

Compositionality: The Significant Difference

By: Hans Langmaack, Willem-Paul De Roever, Amir Pnueli

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

No Review Yet

AED449

Binding:	Paperback
Release:	18 Dec 1998
Language:	English

Available

Ships within 14-16 Days Explain..

1. Fachtagung über Programmiersprachen

By: Hans Langmaack, Manfred Paul

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

No Review Yet

AED231

Binding:	Paperback
Release:	30 Oct 1972
Language:	German

Available

Ships within 14-16 Days Explain..

Formal Techniques in Real-Time and Fault-Tolerant Systems

By: Jan Vytopil, Hans Langmaack, Willem-Paul De Roever

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

No Review Yet

AED490

Binding:	Paperback
Release:	07 Sep 1994
Language:	English

International Edition

Ships within 10-12 Days Explain..

Compositionality: The Significant Difference

By: Hans Langmaack, Willem-Paul De Roever, Amir Pnueli

Publisher: Springer

No Review Yet

AED378

Binding:	Digital (delivered electronically)
Release:	01 Nov 2006
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

Formal Techniques in Real-Time and Fault-Tolerant Systems

By: Hans Langmaack

Publisher: Springer

No Review Yet

AED350

Binding:	Book
Release:	01 Jan 1994
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

Formal Methods for Industrial Applications

By: Hans Langmaack, Egon Brger, Jean-Raymond Abrial

Publisher: Springer

No Review Yet

AED101

Binding:	Digital (delivered electronically)
Release:	01 Feb 1997
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

10.

VDM '90. VDM and Z - Formal Methods in Software Development

By: Hans Langmaack, Dines Bjorner, C a R Hoare

Publisher: Springer

No Review Yet

AED88

Binding:	Paperback
Release:	15 Jan 2014

Out of Stock

Notify me when this book is in stockNotify Me

11.

Formal Methods for Industrial Applications

By: Hans Langmaack, Jean-Raymond Abrial, Professor of Computer Science Department of Information Egon Borger (University of Pisa)

Publisher: Springer

No Review Yet

AED88

Binding:	Paperback
Release:	15 Jan 2014

Out of Stock

Notify me when this book is in stockNotify Me

12.

Formal Techniques in Real-Time and Fault-Tolerant Systems

By: Willem-Paul de Roever, Jan Vytopil, Hans Langmaack

Publisher: Springer

No Review Yet

AED88

Binding:	Paperback
Release:	11 Sep 2014

Out of Stock

Notify me when this book is in stockNotify Me

13.

Compositionality

By: Amir Pnueli, Willem-Paul de Roever, Hans Langmaack

Publisher: Springer

No Review Yet

AED88

Binding:	Paperback
Release:	15 Jan 2014

Out of Stock

Notify me when this book is in stockNotify Me

No more records found

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter