Skip to main content
Search Button
United States Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Showing 1 - 3 of 3 results for “luis couto”
Skip side bar filters

  • HACCP System Auditing for Food Safety

    Principles and Techniques

    by Luis Couto Lorenzo ...
    Guide to understand the fundamentals of HACCP and to planning and conducting food safety auditsHACCP System Auditing for Food Safety helps readers understand the fundamentals of the HACCP concept and its importance in ensuring food safety, with guidance on how to develop auditing skills including planning, executing, and reporting on HACCP audits effectively.To aid in reader comprehension, this ... Read more

    $153.00 USD

  • Formal Methods. FM 2019 International Workshops

    Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I

    Edited by Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas ...
    Series Book 1 - Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and ... Read more

    $49.49 USD

  • Formal Methods. FM 2019 International Workshops

    Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II

    Edited by Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas ...
    Series Book 2 - Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and ... Read more

    $49.49 USD