Deductive Program Design

Deductive Program Design

Manfred Broy

268,26 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2011
Materia
Inteligencia artificial
ISBN:
9783642648496
268,26 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)

Advanced research on the description of distributed systems and on design calculi for software and hardware is presented in this volume. Distinguished researchers give an overview of the latest state of the art.

Artículos relacionados

  • Mastering Secure Java Applications
    Debopam Poddar / Joyanta Banerjee / Tarun Kumar Chawdhury / Vipul Gupta
    Elevate your Java security skills for the modern cloud eraDESCRIPTION This book offers a comprehensive guide to implementing Zero-Trust security principles, cloud-based defenses, and robust application development practices. Through practical examples and expert advice, readers will gain the skills needed to design and develop secure Java applications that easily can tackle to...
    Disponible

    49,94 €

  • Python Mini Manual
    CodeCraft Dynamics
    Embark on a journey to master Python with this comprehensive guide that covers everything from the basics to advanced concepts. Whether you’re new to programming or looking to enhance your skills, this book offers a blend of focused discussions, real-world examples, and practice exercises to help you become proficient in Python. Begin by exploring an overview of Python and its ...
    Disponible

    12,05 €

  • C++ Programming Cookbook
    Anais Sutherland
    'C++ Programming Cookbook' stands out as a clear, concise, and powerful technical resource for programmers who want to master C++’s intricacies. C++ programmers face a wide variety of problems, and this carefully written book is a treasure trove of solutions and methods to those software development challenges.Each chapter is organized to help you get a good grasp of the langua...
    Disponible

    61,97 €

  • Python Advanced Programming
    Marcus Richards
    If you want to learn the most modern programming language in the world, then keep reading.Python is an high-level programming language. It’s a modern language, easy to learn and understand but very powerful.It’s a versatile programming language that is now being used on a lot of different projects, from world-class internet companies to small hobbyists, Python is extremely flex...
    Disponible

    22,81 €

  • React and React Native - Fifth Edition
    Adam Boduch / Mikhail Sakhniuk
    Get a big-picture view of modern React and React Native and see how they go hand-in-hand - covering TypeScript development, Vite, state management strategies, unit testing with Jest, and more.Purchase of the print or Kindle book includes a free PDF eBook.Key Features:- New content on TypeScript, React frameworks, state management strategies, and unit testing- Get to grips with ...
    Disponible

    90,71 €

  • Practical Rust 1.x Cookbook, Second Edition
    Lloyd Frank
    If you want to learn how to program in Rust and create strong, reliable apps with the most recent version Rust 1.68, then you need the 'Practical Rust 1.x Cookbook (Second Edition)'-a book full of real-world solutions. An extensive collection of practical recipes covering a wide range of topics. You will learn the fundamentals of programming, how to set up a development environ...
    Disponible

    62,44 €

Otros libros del autor

  • Logische und Methodische Grundlagen der Entwicklung verteilter Systeme
    Manfred Broy
    Softwareentwicklung erfordert - ausgehend von informellen Problemstellungen - Spezifikationen unter Festlegung der Daten- und Rechenstrukturen, Implementierungen und die Verifikation der Korrektheit. Zur Bewältigung dieser Aufgaben hat die Informatik eine Reihe grundlegender Ansätze und Methoden entwickelt, die in zwei Bänden in einem einheitlichen Rahmen zusammengefasst und an...
    Disponible

    50,82 €

  • Informatik und Mathematik
    Manfred Broy
    ...
    Disponible

    96,20 €

  • Programming and Mathematical Method
    Manfred Broy
    ...
    Disponible

    133,29 €

  • Constructive Methods in Computing Science
    Manfred Broy
    ...
    Disponible

    132,95 €

  • Program Design Calculi
    Manfred Broy
    The development of information processing systems requires models, calculi, and theories for the analysis of computations. It is well understood by now that more complex software systems cannot and should not be constructed in one step. A careful, systematic, and disciplined structuring of the development process is most adequate. It should start from...
    Disponible

    268,53 €

  • Informatik
    Manfred Broy
    Diese in der Neuauflage zweibändige Einführung behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen Konzeptionen der Informatik. Die Darstellung zeichnet sich durch saubere formale Fundierung und begriffliche Klarheit aus. Der vorliegende Band 2 faßt die in der 1. Aufl...
    Disponible

    41,07 €