Skip to main content
Search Button
Estados Unidos Tienda Kobo Tarjetas de regalo Ayuda

Kobo Rakuten

Wishlist

Carrito de compra

¡Obtienes el tratamiento VIP!

Artículos no disponibles para compra.
Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.
artículosartículo
artículosartículo

Recomendado para ti

Loading...


Serie m´´as popular en Estados Unidos

1 - 12 de 12 resultados para “alan p parkes”
Skip side bar filters

  • A Concise Introduction to Languages and Machines

    de Alan P. Parkes ...
    Series series Computer Science (R0)
    A Concise Introduction to Languages, Machines and Logic provides an accessible introduction to three key topics within computer science: formal languages, abstract machines and formal logic. Written in an easy-to-read, informal style, this textbook assumes only a basic knowledge of programming on the part of the reader.The approach is deliberately non-mathematical, and features: - Clear ... Leer más

    $40.99 USD

La gente que leyó esto también disfrutó

  • Sets, Logic and Maths for Computing

    de David Makinson ...
    Series series Computer Science (R0)
    This easy-to-follow textbook introduces the mathematical language, knowledge and problem-solving skills that undergraduates need to study computing. The language is in part qualitative, with concepts such as set, relation, function and recursion/induction; but it is also partly quantitative, with principles of counting and finite probability. Entwined with both are the fundamental notions of logic ... Leer más

    $31.99 USD

  • Tools and Algorithms for the Construction and Analysis of Systems

    22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

    Edición de Marsha Chechik, Jean-François Raskin ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 44 full papers presented in this volume were carefully reviewed and selected from ... Leer más

    $49.99 USD

  • Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

    7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

    Edición de Tiziana Margaria, Bernhard Steffen ...
    Series Libro 2 - Springer Nature Proceedings Computer Science
    The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016.The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each ... Leer más

    $49.99 USD

  • Computational Logic and Set Theory

    Applying Formalized Logic to Analysis

    de Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo ...
    Series series Computer Science (R0)
    This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory. Topics and features: describes in depth how a ... Leer más

    $49.99 USD

  • Abstract State Machines, Alloy, B, TLA, VDM, and Z

    5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

    Edición de Michael Butler, Miklos Biro, Klaus-Dieter Schewe, Atif Mashkoor ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016.The 17 full and 15 short papers presented in this volume were carefully reviewed and selected from 61 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, ... Leer más

    $49.99 USD

  • Introduction to Scilab

    For Engineers and Scientists

    de Sandeep Nagar ...
    Series series Professional and Applied Computing (R0)
    Familiarize yourself with Scilab using this concise, practical tutorial that is focused on writing code to learn concepts. Starting from the basics, this book covers array-based computing, plotting, and working with files in Scilab. Introduction to Scilab is useful for industry engineers, researchers, and students who are looking for open-source solutions for numerical computation.In this book you ... Leer más

    $40.99 USD

  • Unifying Theories of Programming

    6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

    Edición de Jonathan P. Bowen, Huibiao Zhu ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the12th International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers presented were carefully reviewed and selected from 10 submissions. They deal with the fundamental problem of ... Leer más

    $49.99 USD

  • Topics in Theoretical Computer Science

    Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

    Edición de Mohammad Reza Mousavi, Jiří Sgall ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2017, held in Tehran, Iran, in September 2017.The 8 papers presented in this volume were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: algorithms and complexity; and logic, semantics, and programming ... Leer más

    $49.49 USD

  • Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

    7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I

    Edición de Tiziana Margaria, Bernhard Steffen ...
    Series Libro 1 - Springer Nature Proceedings Computer Science
    The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016.The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each ... Leer más

    $89.99 USD

  • Sets, Logic and Maths for Computing

    de David Makinson ...
    Series series Computer Science (R0)
    The first part of this preface is for the student; the second for the instructor. But whoever you are, welcome to both parts. For the Student You have finished secondary school, and are about to begin at a university or technical college. You want to study computing. The course includes some mathematics { and that was not necessarily your favourite subject. But there is no escape: some finite ... Leer más

    $40.99 USD

  • Tools and Algorithms for the Construction and Analysis of Systems

    23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

    Edición de Axel Legay, Tiziana Margaria ...
    Series Libro 1 - Springer Nature Proceedings Computer Science
    The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.The 48 full papers, 4 tool demonstration papers, and 12 software ... Leer más

    $49.99 USD