Buy books written by Peter Csaba Ölveczky 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
Peter Csaba Ölveczky

Peter Csaba Ölveczky

12 results found
List viewGrid view
Sort By:
1.
Formal Aspects of Component Software
Formal Aspects of Component Software
By: Christiano Braga, Peter Csaba Ölveczky
Publisher: Springer International Publishing AG
No Review Yet
AED184
Binding:
Paperback
Release:
30 Jan 2016
Language:
English
Available
Ships within 12-14 Days Explain..
2.
Theoretical Aspects of Computing – ICTAC 2021
Theoretical Aspects of Computing – ICTAC 2021
By: Antonio Cerone, Peter Csaba Ölveczky
Publisher: Springer Nature Switzerland AG
No Review Yet
AED392
Binding:
Paperback
Release:
20 Aug 2021
Language:
English
International Edition
Ships within 18-20 Days Explain..
3.
Software Engineering and Formal Methods
Software Engineering and Formal Methods
By: Peter Csaba Ölveczky, Gwen Salaün
Publisher: Springer Nature Switzerland AG
No Review Yet
AED253
Binding:
Paperback
Release:
02 Sep 2019
Language:
English
Available
Ships within 12-14 Days Explain..
4.
Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
By: Cyrille Artho, Peter Csaba Ölveczky
Publisher: Springer Nature Switzerland AG
No Review Yet
AED174
Binding:
Paperback
Release:
02 Feb 2019
Language:
English
Available
Ships within 12-14 Days Explain..
5.
Rewriting Logic and Its Applications
Rewriting Logic and Its Applications
By: Peter Csaba Ölveczky
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED259
Binding:
Paperback
Release:
06 Oct 2010
Language:
English
International Edition
Ships within 12-14 Days Explain..
6.
Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
By: Cyrille Artho, Peter Csaba Ölveczky
Publisher: Springer International Publishing AG
No Review Yet
AED259
Binding:
Paperback
Release:
22 Apr 2014
Language:
English
International Edition
Ships within 12-14 Days Explain..
7.
Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
By: Cyrille Artho, Peter Csaba Ölveczky
Publisher: Springer International Publishing AG
No Review Yet
AED253
Binding:
Paperback
Release:
23 Apr 2015
Language:
English
Available
Ships within 12-14 Days Explain..
8.
Formal Aspects of Component Software
Formal Aspects of Component Software
By: Farhad Arbab, Peter Csaba Ölveczky
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED253
Binding:
Paperback
Release:
23 Nov 2012
Language:
English
Available
Ships within 12-14 Days Explain..
9.
Formal Aspects of Component Software
Formal Aspects of Component Software
By: Kyungmin Bae, Peter Csaba Ölveczky
Publisher: Springer Nature Switzerland AG
No Review Yet
AED253
Binding:
Paperback
Release:
07 Oct 2018
Language:
English
Available
Ships within 12-14 Days Explain..
10.
Logic, Rewriting, and Concurrency
Logic, Rewriting, and Concurrency
By: Carolyn Talcott, Peter Csaba Ölveczky, Narciso Martí-Oliet
Publisher: Springer International Publishing AG
No Review Yet
AED253
Binding:
Paperback
Release:
21 Aug 2015
Language:
English
Available
Ships within 12-14 Days Explain..
11.
Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
By: Cyrille Artho, Peter Csaba Ölveczky
Publisher: Springer International Publishing AG
No Review Yet
AED253
Binding:
Paperback
Release:
16 Feb 2017
Language:
English
Available
Ships within 12-14 Days Explain..
12.
Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
By: Cyrille Artho, Peter Csaba Ölveczky
Publisher: Springer International Publishing AG
No Review Yet
AED253
Binding:
Paperback
Release:
03 Feb 2016
Language:
English
Available
Ships within 12-14 Days Explain..
No more records found