Skip to main content
Search Button
Librairie Kobo Canada Cartes cadeau Aide

Kobo Rakuten

Ma liste d'envies

Panier

Vous profitez des avantages réservés aux VIP !

Article(s) non disponible(s) à la vente
Veuillez vérifier votre panier. Vous pouvez supprimer le ou les articles qui ne sont pas disponibles maintenant ou nous les supprimerons automatiquement au moment du règlement de la commande.
articlesarticle
articlesarticle

Recommandé pour vous

Loading...


« uri abraham »

1-12 sur 12 résultats pour « uri abraham »
Skip side bar filters

  • Models for Concurrency

    par Uri Abraham ...
    Concurrent systems are generally understood in terms of behavioral notions. Models for Concurrency analyzes the subject in terms of events and their temporal relationship rather than on global states. It presents a comprehensive analysis of model theory applied to concurrent protocols, and seeks to provide a theory of concurrency that is both intuitively appealing and rigorously based on ... En savoir plus

    $107.17 CAD

Les lecteurs de ce roman ont aussi aimé

  • Engineering a Compiler

    par Keith D. Cooper, Linda Torczon ...
    This entirely revised second edition of Engineering a Compiler is full of technical updates and new material covering the latest developments in compiler technology. In this comprehensive text you will learn important techniques for constructing a modern compiler. Leading educators and researchers Keith Cooper and Linda Torczon combine basic principles with pragmatic insights from their experience ... En savoir plus

    $63.99 CAD

  • Database Design and Relational Theory

    Normal Forms and All That Jazz

    par C.J. Date ...
    What makes this book different from others on database design? Many resources on design practice do little to explain the underlying theory, and books on design theory are aimed primarily at theoreticians. In this book, renowned expert Chris Date bridges the gap by introducing design theory in ways practitioners can understand—drawing on lessons learned over four decades of experience to ... En savoir plus

    $32.99 CAD

  • Elements of Programming

    par Paul McJones, Alexander Stepanov ...
    “Ask a mechanical, structural, or electrical engineer how far they would get without a heavy reliance on a firm mathematical foundation, and they will tell you, ‘not far.’ Yet so-called software engineers often practice their art with little or no idea of the mathematical underpinnings of what they are doing. And then we wonder why software is notorious for being delivered late and full of bugs, ... En savoir plus

    $37.99 CAD

  • Logic in Computer Science

    Modelling and Reasoning about Systems

    par Michael Huth, Mark Ryan ...
    Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses ... En savoir plus

    $71.99 CAD

  • Assembly Language Programming

    ARM Cortex-M3

    par Vincent Mahout ...
    ARM designs the cores of microcontrollers which equip most "embedded systems" based on 32-bit processors. Cortex M3 is one of these designs, recently developed by ARM with microcontroller applications in mind. To conceive a particularly optimized piece of software (as is often the case in the world of embedded systems) it is often necessary to know how to program in an assembly language.This book ... En savoir plus

    $174.99 CAD

  • Compiler Construction Using Java, JavaCC, and Yacc

    par Anthony J. Dos Reis ...
    Broad in scope, involving theory, the application of that theory, and programming technology, compiler construction is a moving target, with constant advances in compiler technology taking place. Today, a renewed focus on do-it-yourself programming makes a quality textbook on compilers, that both students and instructors will enjoy using, of even more vital importance. This book covers every topic ... En savoir plus

    $131.99 CAD

  • Information Modeling and Relational Databases

    par Terry Halpin, Tony Morgan ...
    Information Modeling and Relational Databases, Second Edition, provides an introduction to ORM (Object-Role Modeling)and much more. In fact, it is the only book to go beyond introductory coverage and provide all of the in-depth instruction you need to transform knowledge from domain experts into a sound database design. This book is intended for anyone with a stake in the accuracy and efficacy of ... En savoir plus

    $76.99 CAD

  • UML 2 Certification Guide

    Fundamental and Intermediate Exams

    par Tim Weilkiens, Bernd Oestereich ...
    Collections series The MK/OMG Press
    The popular Unified Modeling Language (UML) is both a language and notation developed by the Object Management Group (OMG) used to design and create specifications for software systems. With the recent release of version 2.0 UML, the OMG has started the OMG-Certified UML Professional Program to provide an objective measure of UML knowledge. As a certified UML professional a developer has an ... En savoir plus

    $55.99 CAD

  • The Relational Database Dictionary

    A Comprehensive Glossary of Relational Terms and Concepts, with Illustrative Examples

    par C.J. Date ...
    Avoid misunderstandings that can affect the design, programming, and use of database systems. Whether you're using Oracle, DB2, SQL Server, MySQL, or PostgreSQL, The Relational Database Dictionary will prevent confusion about the precise meaning of database-related terms (e.g., attribute, 3NF, one-to-many correspondence, predicate, repeating group, join dependency), helping to ensure the success ... En savoir plus

    $10.99 CAD

  • Program Proofs

    par K. Rustan M. Leino ...
    This comprehensive and highly readable textbook teaches how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny.Program Proofs shows students what it means to write specifications for programs, what it means for programs to satisfy those specifications, and how to write proofs that connect specifications and programs. ... En savoir plus

    $74.39 CAD

  • The New Relational Database Dictionary

    Terms, Concepts, and Examples

    par C.J. Date ...
    No matter what DBMS you are using—Oracle, DB2, SQL Server, MySQL, PostgreSQL—misunderstandings can always arise over the precise meanings of terms, misunderstandings that can have a serious effect on the success of your database projects. For example, here are some common database terms: attribute, BCNF, consistency, denormalization, predicate, repeating group, join dependency. Do you know what ... En savoir plus

    $25.99 CAD