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...


“peter c chapin”

Showing 1 - 12 of 12 results for “peter c chapin”
Skip side bar filters

  • Building High Integrity Applications with SPARK

    by John W. McCormick, Peter C. Chapin ...
    Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solution. Such solutions are unacceptable when the software controls our cars, airplanes and medical devices or manages our private information. These applications must run without error. SPARK provides a means, based on mathematical proof, to ... Read more

    $58.29 USD

People who read this also enjoyed

  • Learn You a Haskell for Great Good!

    A Beginner's Guide

    by Miran Lipovaca ...
    It's all in the name: Learn You a Haskell for Great Good! is a hilarious, illustrated guide to this complex functional language. Packed with the author's original artwork, pop culture references, and most importantly, useful example code, this book teaches functional fundamentals in a way you never thought possible.You'll start with the kid stuff: basic syntax, recursion, types and type classes. ... Read more

    $31.99 USD

  • Learning Concurrent Programming in Scala

    by Aleksandar Prokopec ...
    This book is a must-have tutorial for software developers aiming to write concurrent programs in Scala, or broaden their existing knowledge of concurrency. This book is intended for Scala programmers that have no prior knowledge about concurrent programming, as well as those seeking to broaden their existing knowledge about concurrency. Basic knowledge of the Scala programming language will be ... Read more

    $26.59 USD or Free with Kobo Plus

  • Lumen Programming Guide

    Writing PHP Microservices, REST and Web Service APIs

    by Paul Redmond ...
    Series series Professional and Applied Computing (R0)
    Learn to write test-driven microservices, REST APIs, and web service APIs with PHP using the Lumen micro-framework, from the now popular Laravel family. This book shows you how testing APIs can help you write bullet-proof web application services and microservices.In the Lumen Programming Guide you will learn how to use Lumen—a micro-framework by Laravel—to write bullet-proof APIs. Lumen helps you ... Read more

    $44.99 USD

  • Pro MERN Stack

    Full Stack Web App Development with Mongo, Express, React, and Node

    by Vasan Subramanian ...
    Series series Professional and Applied Computing (R0)
    Assemble the complete stack required to build a modern web app using React: MongoDB (a NoSQL database) and Express (a framework for web application servers), which runs on Node (JavaScript on the server side), complement React very nicely. This book will also cover many other tools that go into building a complete web application: React Router, React-Bootstrap, Redux, Babel, and webpack.Though the ... Read more

    $40.49 USD

  • GameMaker Programming By Example

    Master the development of 2D games by learning to use the powerful GameMaker Language and tools provided by the GameMaker: Studio workspace and engine!

    by Brian Christian, Steven Isaacs ...
    Master the development of 2D games by learning to use the powerful GameMaker Language and tools provided by the GameMaker: Studio workspace and engine!Key Features\[\*\]Rapidly develop games using the powerful yet easy easy-to to-use GameMaker: Studio engine\[\*\]Comprehensive: This is a comprehensive guide to help you learn and implement GameMaker’s features.\[\*\]Go through step-by-step ... Read more

    $37.79 USD or Free with Kobo Plus

  • Compiling with Continuations

    by Andrew W. Appel ...
    The control and data flow of a program can be represented using continuations, a concept from denotational semantics that has practical application in real compilers. This book shows how continuation-passing style is used as an intermediate representation on which to perform optimisations and program transformations. Continuations can be used to compile most programming languages. The method is ... Read more

    $95.99 USD

  • Tractability

    Practical Approaches to Hard Problems

    Edited by Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli ...
    Classical computer science textbooks tell us that some problems are 'hard'. Yet many areas, from machine learning and computer vision to theorem proving and software verification, have defined their own set of tools for effectively solving complex problems. Tractability provides an overview of these different techniques, and of the fundamental concepts and properties used to tame intractability. ... Read more

    $146.79 USD

  • Business Aspects of Web Services

    by Tobias Conte, Lilia Filipova-Neumann, Wibke Michalk, Christof Weinhardt, Thomas Meinl, Benjamin Blau ...
    Series series Computer Science (R0)
    Driven by maturing Web service technologies and the wide acceptance of the service-oriented architecture paradigm, the software industry’s traditional business models and strategies have begun to change: software vendors are turning into service providers. In addition, in the Web service market, a multitude of small and highly specialized providers offer modular services of almost any kind and ... Read more

    $49.49 USD

  • Economics of Grids, Clouds, Systems, and Services

    14th International Conference, GECON 2017, Biarritz, France, September 19-21, 2017, Proceedings

    Edited by Congduc Pham, Jörn Altmann, José Ángel Bañares ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 14th International Conference on Economics of Grids, Clouds, Systems, and Services, GECON 2017, held in Biarritz, France, in September 2017.The 10 full papers and 10 short papers presented together with 3 invited talks were carefully reviewed and selected from 38 submissions.This volume of the GECON 2017 proceedings has been structured in ... Read more

    $49.49 USD

  • Computability

    An Introduction to Recursive Function Theory

    by Nigel Cutland ...
    What can computers do in principle? What are their inherent theoretical limitations? These are questions to which computer scientists must address themselves. The theoretical framework which enables such questions to be answered has been developed over the last fifty years from the idea of a computable function: intuitively a function whose values can be calculated in an effective or automatic way ... Read more

    $74.69 USD

  • Learning ArcGIS for Desktop

    Create, analyze, and map your spatial data with ArcGIS for Desktop

    by Daniela C Docan ...
    Create, analyze, and map your spatial data with ArcGIS for DesktopKey Features\[\*\]Learn how to use ArcGIS for Desktop to create and manage geographic data, perform vector and raster analysis, design maps, and share your results\[\*\]Solve real-world problems and share your valuable results using the powerful instruments of ArcGIS for Desktop\[\*\]Step-by-step tutorials cover the main editing, ... Read more

    $41.39 USD or Free with Kobo Plus