Buy books written by Marieke Huisman Available at Bookswagon
BooksWagon Icon
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
Marieke Huisman

Marieke Huisman

7 results found
List viewGrid view
Sort By:
1.
Concise Guide to Software Verification
Concise Guide to Software Verification
By: Marieke Huisman, Anton Wijs
Publisher: Springer International Publishing
No Review Yet
AED251
Binding:
Hardback
Release:
07 Jul 2023
Language:
English
Available
Ships within 4-6 Days Explain..
2.
Concise Guide to Software Verification
Concise Guide to Software Verification
By: Marieke Huisman, Anton Wijs
Publisher: Springer International Publishing
No Review Yet
AED267
Binding:
Paperback
Release:
26 Jul 2024
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
3.
Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
By: Groote Jan Friso Groote, Huisman Marieke Huisman
Publisher: Springer Nature B.V.
No Review Yet
AED206
Binding:
Paperback
Release:
12 Aug 2022
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
4.
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
By: Huisman Marieke Huisman, Beyer Dirk Beyer, Kordon Fabrice Kordon
Publisher: Springer Nature B.V.
No Review Yet
AED206
Binding:
Paperback
Release:
06 Apr 2019
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
5.
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
By: Huisman Marieke Huisman, Beyer Dirk Beyer
Publisher: Springer Nature B.V.
No Review Yet
AED206
Binding:
Paperback
Release:
14 Apr 2018
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
6.
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
By: Huisman Marieke Huisman, Beyer Dirk Beyer
Publisher: Springer Nature B.V.
No Review Yet
AED206
Binding:
Paperback
Release:
18 Apr 2018
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
7.
Fundamental Approaches to Software Engineering
Fundamental Approaches to Software Engineering
By: Huisman Marieke Huisman, Rubin Julia Rubin
Publisher: Springer Nature B.V.
No Review Yet
AED206
Binding:
Paperback
Release:
25 Mar 2017
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found