Maurice H Ter Beek

From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

by Maurice H. ter Beek (Editor), Alessandro Fantechi (Editor), Laura Semini (Editor)

See All from $9.99

New from $51.65

eBook from $16.50

Collectible from $40.56

Eligible for FREE Shipping

More Books Like This | Add to Wishlist
Recommended Copy

$9.99
Used Softcover, 2019
More details
Web Services and Formal Methods: 9th International Workshop, Ws-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

by Maurice H Ter Beek (Editor), Niels Lohmann (Editor)

See All from $46.96

New from $46.96

eBook from $15.00

Collectible from $79.81

Eligible for FREE Shipping

More Books Like This | Add to Wishlist
Recommended Copy

$46.96
New Softcover, 2013
More details
Coordination Models and Languages: 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings

by Maurice H Ter Beek (Editor), Marjan Sirjani (Editor)

See All from $122.11

New from $122.11

eBook from $35.70

Eligible for FREE Shipping

More Books Like This | Add to Wishlist
Recommended Copy

$122.11
New Softcover, 2022
More details
Formal Methods for Industrial Critical Systems: 25th International Conference, Fmics 2020, Vienna, Austria, September 2-3, 2020, Proceedings

by Maurice H Ter Beek (Editor), Dejan Ni kovic (Editor)

See All from $51.65

New from $51.65

eBook from $16.50

Eligible for FREE Shipping

More Books Like This | Add to Wishlist
Recommended Copy

$51.65
New Softcover, 2020
More details
Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, Fmics-Avocs 2016, Pisa...

by Maurice H Ter Beek (Editor), Stefania Gnesi (Editor), Alexander Knapp (Editor)

See All from $51.65

New from $51.65

eBook from $16.50

Eligible for FREE Shipping

More Books Like This | Add to Wishlist
Recommended Copy

$51.65
New Softcover, 2016
More details
Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings

by Maurice H. ter Beek (Editor), Rosemary Monahan (Editor)

See All from $79.84

New from $79.84

eBook from $25.50

Eligible for FREE Shipping

More Books Like This | Add to Wishlist
Recommended Copy

$79.84
New Softcover, 2022
More details
Formal Methods - The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings

by Maurice H Ter Beek (Editor), Annabelle McIver (Editor), Jos? N Oliveira (Editor)

See All from $51.65

New from $51.65

eBook from $16.50

Collectible from $81.68

Eligible for FREE Shipping

More Books Like This | Add to Wishlist
Recommended Copy

$51.65
New Softcover, 2019
More details

Save $15 through Sunday. Get the code »

Popular eBook subjects

Find Rare Books

Book Collecting Essentials

Kids Books by Age

Browse

Subjects

Popular Kids Authors

Popular Books

Browse

Series

Popular YA
& Teen Authors

Subjects

Featured

Recent Releases

Community

The Alibris Blog

Author Personalities

From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

Recommended Copy

Web Services and Formal Methods: 9th International Workshop, Ws-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

Recommended Copy

Coordination Models and Languages: 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings

Recommended Copy

Formal Methods for Industrial Critical Systems: 25th International Conference, Fmics 2020, Vienna, Austria, September 2-3, 2020, Proceedings

Recommended Copy

Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, Fmics-Avocs 2016, Pisa...

Recommended Copy

Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings

Recommended Copy

Formal Methods - The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings

Recommended Copy

Be the First to Know & Save $5.00

Popular eBook subjects

eBooks now at Alibris

Sell Back Your Used Textbooks for Cash

One-Stop Shop For All Your Back To School Needs

Book Collecting Essentials

Collect Rare and Out-of-Print Books

Find the Book to Satisfy Your Book Cravings

Advanced Search Can Help Find What You Are Searching For

Kids Books by Age

Browse

Subjects

Popular Kids Authors

Popular Books

Browse

Series

Popular YA & Teen Authors

Subjects

Find A Music Collection Unlike Any Other

Discover New and Used Classical Music

Advanced Search Can Help Find What You Are Searching For

Add These Distinguishing Movies to Your Collection

Advanced Search Can Help Find What You Are Searching For

Find Best-Selling Books for as Low as 99¢

Thousands of New & Used Items Eligible for Free Shipping

Love to Save on Books, Movies, and Music?

Save up to 80% on New Releases and Old Classics

Featured

Recent Releases

Your Source and Inspiration for Books, Music, & Movies

Engage with the Alibris Community

The Alibris Blog

The Alibris Blog

Discover Author Personalities

Recommended Copy

Recommended Copy

Recommended Copy

Recommended Copy

Recommended Copy

Recommended Copy

Recommended Copy

Browse related Subjects & Authors

Popular YA
& Teen Authors

Find Best-Selling Books for
as Low as 99¢