Marcello Bonsangue

33 results found

Sort By:

Theory and Practice of Formal Methods

By: Marcello Bonsangue, Einar Broch Johnsen, Erika Ábrahám

Publisher: Springer International Publishing AG

No Review Yet

AED195

Binding:	Paperback
Release:	13 Mar 2016
Language:	English

Available

Ships within 14-16 Days Explain..

Artificial Intelligence Logic and Applications

By: Marcello Bonsangue, Yixiang Chen

Publisher: Springer Verlag, Singapore

No Review Yet

AED388

Binding:	Paperback
Release:	11 Jun 2026
Language:	English

International Edition

Ships within 10-12 Days Explain..

Data Science and Artificial Intelligence

By: Marcello Bonsangue, Chutiporn Anutariya, Amalka Pinidiyaarachchi, Hakim Usoof

Publisher: Springer Verlag, Singapore

No Review Yet

AED270

Binding:	Paperback
Release:	12 Nov 2025
Language:	English

Available

Ships within 14-16 Days Explain..

Theoretical Aspects of Computing – ICTAC 2024

By: Marcello M. Bonsangue, Chutiporn Anutariya

Publisher: Springer International Publishing AG

No Review Yet

AED270

Binding:	Paperback
Release:	22 Nov 2024
Language:	English

Available

Ships within 14-16 Days Explain..

Data Science and Artificial Intelligence

By: Marcello M. Bonsangue, Chutiporn Anutariya, Erna Budhiarti-Nababan, Opim Salim Sitompul

Publisher: Springer Verlag, Singapore

No Review Yet

AED285

Binding:	Paperback
Release:	09 Nov 2024
Language:	English

Available

Ships within 14-16 Days Explain..

Data Science and Artificial Intelligence

By: Marcello M. Bonsangue, Chutiporn Anutariya

Publisher: Springer Verlag, Singapore

No Review Yet

AED404

Binding:	Paperback
Release:	17 Nov 2023
Language:	English

Available

Ships within 14-16 Days Explain..

It's All About Coordination

By: Marcello Bonsangue, Jan Rutten, Frank de Boer

Publisher: Springer International Publishing AG

No Review Yet

AED186

Binding:	Paperback
Release:	07 Apr 2018
Language:	English

Available

Ships within 14-16 Days Explain..

Formal Methods for Components and Objects

By: Marcello Bonsangue, Susanne Graf, Willem-Paul De Roever, Frank S.de Boer

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

No Review Yet

AED195

Binding:	Paperback
Release:	09 Oct 2003
Language:	English

Available

Ships within 14-16 Days Explain..

Coalgebraic Methods in Computer Science

By: Marcello M. Bonsangue

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

No Review Yet

AED180

Binding:	Paperback
Release:	01 Sep 2014
Language:	English

Available

Ships within 14-16 Days Explain..

10.

Formal Methods for Components and Objects

By: Marcello M. Bonsangue, Susanne Graf, Willem-Paul De Roever, Frank S. de Boer

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

No Review Yet

AED195

Binding:	Paperback
Release:	19 Sep 2005
Language:	English

Available

Ships within 14-16 Days Explain..

11.

Formal Methods for Components and Objects

By: Marcello M. Bonsangue, Susanne Graf, Willem-Paul De Roever, Frank S. de Boer

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

No Review Yet

AED195

Binding:	Paperback
Release:	10 Aug 2006
Language:	English

Available

Ships within 14-16 Days Explain..

12.

Formal Methods for Components and Objects

By: Marcello M. Bonsangue, Michael Leuschel, Stefan Hallerstede, Frank S. de Boer

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

No Review Yet

AED274

Binding:	Paperback
Release:	04 Jan 2011
Language:	English

International Edition

Ships within 10-12 Days Explain..

13.

Formal Methods for Components and Objects

By: Marcello M. Bonsangue, Eric Madelaine

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

No Review Yet

AED195

Binding:	Paperback
Release:	07 Sep 2009
Language:	English

Available

Ships within 14-16 Days Explain..

14.

Formal Methods for Components and Objects

By: Marcello M. Bonsangue, Susanne Graf, Willem-Paul De Roever, Frank S. de Boer

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

No Review Yet

AED278

Binding:	Paperback
Release:	27 Oct 2004
Language:	English

International Edition

Ships within 10-12 Days Explain..

15.

Formal Methods for Components and Objects

By: Marcello M. Bonsangue, Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer

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

No Review Yet

AED195

Binding:	Paperback
Release:	03 Jan 2013
Language:	English

Available

Ships within 14-16 Days Explain..

16.

Formal Methods for Components and Objects

By: Marcello M. Bonsangue, Susanne Graf, Willem-Paul De Roever

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

No Review Yet

AED195

Binding:	Paperback
Release:	01 Dec 2008
Language:	English

Available

Ships within 14-16 Days Explain..

17.

Formal Methods for Components and Objects

By: Marcello M. Bonsangue, Susanne Graf, Willem-Paul De Roever, Frank S. de Boer

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

No Review Yet

AED173

Binding:	Paperback
Release:	18 Dec 2007
Language:	English

Available

Ships within 1-2 Days Explain..

18.

Formal Methods for Open Object-Based Distributed Systems

By: Marcello M. Bonsangue, Einar Broch Johnsen

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

No Review Yet

AED195

Binding:	Paperback
Release:	25 May 2007
Language:	English

Available

Ships within 14-16 Days Explain..

19.

Formal Methods for Components and Objects

By: Bernhard K. Aichernig, Marcello M. Bonsangue, Frank S. de Boer

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

No Review Yet

AED198

Binding:	Paperback
Release:	12 Dec 2011
Language:	English

Available

Ships within 2-4 Days Explain..

20.

Theory and Practice of Formal Methods

By: Bonsangue Marcello Bonsangue, Johnsen Einar Broch Johnsen, Abraham Erika Abraham

Publisher: Springer Nature B.V.

No Review Yet

AED222

Binding:	Paperback
Release:	16 Mar 2016
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

Loading more results

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter