Електронна книга > Наука > Інформатика > Інформатика > Paul Boca & Jonathan P. Bowen: Formal Methods: State of the Art and New Directions (PDF)

Paul Boca & Jonathan P. Bowen
Formal Methods: State of the Art and New Directions [PDF ebook]

Підтримка

Обкладинка Paul Boca & Jonathan P. Bowen: Formal Methods: State of the Art and New Directions (PDF)

€96.29

Зміст

Domain Engineering.- Program Verification and System Dependability.- The Abstract State Machines Method for High-Level System Design and Analysis.- Applications and Methodology of ?Z.- The Computer Ate My Vote.- Formal Methods for Biochemical Signalling Pathways.- Separation Logic and Concurrency.- Programming Language Description Languages.

Придбайте цю електронну книгу та отримайте ще 1 БЕЗКОШТОВНО!

Мова Англійська ● Формат PDF ● Сторінки 273 ● ISBN 9781848827363 ● Розмір файлу 3.1 MB ● Редактор Paul Boca & Jonathan P. Bowen ● Видавець Springer London ● Місто London ● Країна GB ● Опубліковано 2009 ● Завантажувані 24 місяців ● Валюта EUR ● Посвідчення особи 2151992 ● Захист від копіювання Соціальний DRM

Більше електронних книг того самого автора / Редактор

Paul Boca Jonathan P. Bowen Jawed Siddiqi

16 504 Електронні книги в цій категорі

Обкладинка Yu-Hsin Chen & Joel S. Emer: Efficient Processing of Deep Neural Networks

Yu-Hsin Chen & Joel S. Emer: Efficient Processing of Deep Neural Networks

This book provides a structured treatment of the key principles and techniques for enabling efficient processing of deep neural networks (DNNs) . DNNs are currently widely used for many artificial in …

Обкладинка Roger A. Philips: Guide To Software Export: A Handbook For International Software Sales

Roger A. Philips: Guide To Software Export: A Handbook For International Software Sales

An ideal reference source for CEOs, marketing and sales managers, sales consultants, and students of international marketing, Guide to Software Export provides a step-by-step approach to initiating o …

Обкладинка Mehdi Khosrow-Pour: Incorporating Nature-Inspired Paradigms in Computational Applications

Mehdi Khosrow-Pour: Incorporating Nature-Inspired Paradigms in Computational Applications

Обкладинка David J. Eck: The Most Complex Machine

David J. Eck: The Most Complex Machine

This introduction to computers presents the fundamental ideas and principles on which modern computers are built. While used as a text for courses in computer appreciation as well as introductions to …

Обкладинка Joseph D. (University of Tennessee at Chattanooga, USA) Dumas II: Computer Architecture

Joseph D. (University of Tennessee at Chattanooga, USA) Dumas II: Computer Architecture

Not only does almost everyone in the civilized world use a personal computer, smartphone, and/or tablet on a daily basis to communicate with others and access information, but virtually every other m …

Обкладинка Jyoti Sekhar Banerjee & Jyotsna Kumar Mandal: Applications of Machine intelligence in Engineering

Jyoti Sekhar Banerjee & Jyotsna Kumar Mandal: Applications of Machine intelligence in Engineering

The Global Conference on Artificial Intelligence and Applications (GCAIA 2021) provides a prominent venue for researchers, engineers, entrepreneurs, and scholar students to share their research ideas …

Обкладинка Roger Bartlett & Youlian Hong: Routledge Handbook of Biomechanics and Human Movement Science

Roger Bartlett & Youlian Hong: Routledge Handbook of Biomechanics and Human Movement Science

The Routledge Handbook of Biomechanics and Human Movement Science is a landmark work of reference. Now available in a concise paperback edition, it offers a comprehensive and in-depth survey of curre …

Обкладинка Leonardo Gabrielli: Developing Virtual Synthesizers with VCV Rack

Leonardo Gabrielli: Developing Virtual Synthesizers with VCV Rack

Developing Virtual Synthesizers with VCV Rack takes the reader step by step through the process of developing synthesizer modules, beginning with the elementary and leading up to more engaging exampl …

Обкладинка Ming Zhang: Applied Artificial Higher Order Neural Networks for Control and Recognition

Ming Zhang: Applied Artificial Higher Order Neural Networks for Control and Recognition

Обкладинка Vijayan Sugumaran: Developments and Trends in Intelligent Technologies and Smart Systems

Vijayan Sugumaran: Developments and Trends in Intelligent Technologies and Smart Systems

Наступна сторінка >>>