Buy books written by Peter Csaba Ölveczky Available at Bookswagon
Logo1
close menu
Bookswagon
search
My Account
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
humburger icon Categories

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
Peter Csaba Ölveczky

Peter Csaba Ölveczky

12 results found
Filter0Switch to Grid View
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
AED193
Binding:
Paperback
Release:
30 Jan 2016
Language:
English
Available
Ships within 14-16 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
AED337
Binding:
Paperback
Release:
20 Aug 2021
Language:
English
Available
Ships within 14-16 Days Explain..
3.
Designing Reliable Distributed Systems
Designing Reliable Distributed Systems
By: Peter Csaba Ölveczky
Publisher: Springer London Ltd
No Review Yet
AED228
Binding:
Paperback
Release:
22 Feb 2018
Language:
English
Available
Ships within 10-12 Days Explain..
4.
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
AED275
Binding:
Paperback
Release:
06 Oct 2010
Language:
English
International Edition
Ships within 10-12 Days Explain..
5.
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
AED225
Binding:
Paperback
Release:
02 Sep 2019
Language:
English
Available
Ships within 14-16 Days Explain..
6.
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
AED225
Binding:
Paperback
Release:
21 Aug 2015
Language:
English
Available
Ships within 14-16 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
AED225
Binding:
Paperback
Release:
16 Feb 2017
Language:
English
Available
Ships within 14-16 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
AED225
Binding:
Paperback
Release:
23 Nov 2012
Language:
English
Available
Ships within 14-16 Days Explain..
9.
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
AED225
Binding:
Paperback
Release:
23 Apr 2015
Language:
English
Available
Ships within 14-16 Days Explain..
10.
Formal Aspects of Component Software
Formal Aspects of Component Software
By: Kyungmin Bae, Peter Csaba Ölveczky
Publisher: Springer Nature Switzerland AG
No Review Yet
AED225
Binding:
Paperback
Release:
07 Oct 2018
Language:
English
Available
Ships within 14-16 Days Explain..
11.
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
AED184
Binding:
Paperback
Release:
02 Feb 2019
Language:
English
Available
Ships within 14-16 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
AED225
Binding:
Paperback
Release:
03 Feb 2016
Language:
English
Available
Ships within 14-16 Days Explain..
No more records found
Your IP: 216.73.216.139 IN