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 - 12 of 12 results for “jorge sousa”
Skip side bar filters

  • Rigorous Software Development

    An Introduction to Program Verification

    by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa ...
    Series series Professional and Applied Computing (R0)
    Software errors can lead to catastrophic consequences, from financial losses to threats to human safety. As a result, rigorous methods for software development and validation have become increasingly critical. Program verification, a key area of formal methods, provides mathematical tools and techniques to ensure that software behaves as intended.This book provides a comprehensive introduction to ... Read more

    $58.49 USD

  • Rigorous Software Development

    An Introduction to Program Verification

    by Jorge Sousa Pinto, Maria João Frade, Simão Melo de Sousa, José Bacelar Almeida ...
    Series series Computer Science (R0)
    The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by the official norms adopted in the production of critical software. Program Verification is the area of computer science that studies mathematical methods for checking that a program conforms to its specification. This text is a self ... Read more

    $31.49 USD

  • Building a Co-operative Community in Public Housing

    The Case of the Atkinson Housing Co-operative

    by Jorge Sousa ...
    Public housing projects were the original form of government supported housing for low-income residents. Over the last fifty years many projects have struggled with high crime rates and numerous social problems. One solution proposed to address these ongoing issues is granting residents decision-making power within their community by converting into a co-operative. Building a Co-operative ... Read more

    $37.79 USD

  • Sick in the 6ix

    A Winding Journey through the Soul of a Cancer Survivor

    by Jorge Sousa ...
    The ride began with three simple words… YOU HAVE CANCER. Sick In the 6ix is a candid account of a winding journey through the ups and downs of diagnosis, treatment, recovery and the life after through the eyes of a cancer survivor. A trip that at every turn is mixed with self-reflection, gratitude, comedy, sarcasm, sadness and the possibility of finding some solace in “whatever doesn’t kill you ... Read more

    $4.27 USD

People who read these also enjoyed

  • Mathematics of Program Construction

    12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

    Edited by Ralf Hinze, Janis Voigtländer ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Königswinter, Germany, in June/July 2015. The 15 revised full papers presented together with two invited talks were carefully reviewed and selected from 20 submissions. The papers are about mathematical methods and tools put to use in program construction. ... Read more

    $49.49 USD

  • Lucky Dog

    How Being a Veterinarian Saved My Life

    by Sarah Boston ...
    Lucky Dog is a hilarious and heartwarming memoir by a renowned veterinary oncologist who tells us what we can learn about health care and ourselves from our most beloved pets.What happens when a veterinary surgical oncologist (laymen’s term: cancer surgery doctor) thinks she has cancer herself? Enter Sarah Boston: a vet who suspects a suspicious growth in her neck is thyroid cancer. From the ... Read more

    $11.59 USD or Free with Kobo Plus

  • Practical Foundations for Programming Languages

    by Robert Harper ...
    This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively and rigorously while relying on only elementary mathematics. These tools are used to analyze and prove properties of languages and provide the ... Read more

    $76.29 USD

  • Programming Languages and Systems

    27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

    Edited by Amal Ahmed ...
    Series series Springer Nature Proceedings Computer Science
    This open access book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The papers are organized in topical sections ... Read more

    Free

  • The Most Unfeeling Doctor in the World and Other True Tales From the Emergency Room

    by Melissa Yuan-Innes, M.D. ...
    Series Book 1 - Unfeeling Doctor Series
    When I mention that I work in an emergency room, people usually say,Are you a nurse?Wow. That must be really hard.What's it like?This is what it's like to be an emergency doctor.That teenager puking up two liters of vodka and his stomach lining at triage? Yup. Blood pouring out of a terrified pregnant woman? Call me. And, of course, the patient who no longer has a nosebleed screaming at me across ... Read more

    $3.99 USD or Free with Kobo Plus

  • Foundations of Software Science and Computation Structures

    21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

    Edited by Christel Baier, Ugo Dal Lago ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions ... Read more

    Free

  • Fifty Shades of Grey’s Anatomy: The Unfeeling Doctor’s fresh confessions from the emergency room

    by Melissa Yuan-Innes, M.D. ...
    Series Book 8 - Unfeeling Doctor Series
    Are women ruining medicine? Nah.Real life in the emergency lane, zeroing on body parts and chicks in scrubs.Just like Grey’s Anatomy, medicine with a little bit of sex.And, like Fifty Shades of Grey, a tiny bit of torture. ... Read more

    $3.99 USD or Free with Kobo Plus

  • Mathematics of Discrete Structures for Computer Science

    by Gordon J. Pace ...
    Series series Computer Science (R0)
    Mathematics plays a key role in computer science, some researchers would consider computers as nothing but the physical embodiment of mathematical systems. And whether you are designing a digital circuit, a computer program or a new programming language, you need mathematics to be able to reason about the design -- its correctness, robustness and dependability. This book covers the foundational ... Read more

    $49.49 USD