Catalog > Ciencia > Informática > Informática > 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]

Soporte

Portada de Paul Boca & Jonathan P. Bowen: Formal Methods: State of the Art and New Directions (PDF)

€96.29

Tabla de materias

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.

¡Compre este libro electrónico y obtenga 1 más GRATIS!

Idioma Inglés ● Formato PDF ● Páginas 273 ● ISBN 9781848827363 ● Tamaño de archivo 3.1 MB ● Editor Paul Boca & Jonathan P. Bowen ● Editorial Springer London ● Ciudad London ● País GB ● Publicado 2009 ● Descargable 24 meses ● Divisa EUR ● ID 2151992 ● Protección de copia DRM social

Más ebooks del mismo autor / Editor

Paul Boca Jonathan P. Bowen Jawed Siddiqi

16.516 Ebooks en esta categoría

Portada de 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 …

Portada de Douglas Self: Self on Audio

Douglas Self: Self on Audio

Self on Audio: The collected audio design articles of Douglas Self, Third Edition is the most comprehensive collection of significant articles in the technical audio press. This third edition feature …

Portada de 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 …

Portada de Vikash Chandra & Dushyant Singh Sengar: Modern Data Mining with Python

Vikash Chandra & Dushyant Singh Sengar: Modern Data Mining with Python

"Modern Data Mining with Python" is a guidebook for responsibly implementing data mining techniques that involve collecting, storing, and analyzing large amounts of structured and unstructu …

Portada de Chao-Yuan Tien & Jiann-Ming Wu: MatConvNet Deep Learning and iOS Mobile App Design for Pattern Recognition: Emerging Research and Opportunities

Chao-Yuan Tien & Jiann-Ming Wu: MatConvNet Deep Learning and iOS Mobile App Design for Pattern Recognition: Emerging Research and Opportunities

Deep learning has become a trending area of research due to its adaptive characteristics and high levels of applicability. In recent years, researchers have begun applying deep learning strategies to …

Portada de Gopi Krishna Nuti: Neural Network Computer Vision with OpenCV 5

Gopi Krishna Nuti: Neural Network Computer Vision with OpenCV 5

Neural Network Computer Vision with Open CV equips you with professional skills and knowledge to build intelligent vision systems using Open CV. It creates a sequential pathway for understanding morp …

Portada de Bill Schmarzo: The Economics of Data, Analytics, and Digital Transformation

Bill Schmarzo: The Economics of Data, Analytics, and Digital Transformation

Build a continuously learning and adapting organization that can extract increasing levels of business, customer and operational value from the amalgamation of data and advanced analytics such as AI …

Portada de Pietro (Dept. of cognitive science, University of Messina, Italy) Perconti & Alessio (University of Messina, Italy) Plebe: The Future of the Artificial Mind

Pietro (Dept. of cognitive science, University of Messina, Italy) Perconti & Alessio (University of Messina, Italy) Plebe: The Future of the Artificial Mind

The Future of the Artificial Mind is about the social and technological challenges posed by the new wave of artificial intelligence, both from a technical and a cognitive perspective. Deep neural net …

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

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

Portada de Sangeeta Jadhav & Desai Rahul: Application of Communication Computational Intelligence and Learning

Sangeeta Jadhav & Desai Rahul: Application of Communication Computational Intelligence and Learning

The special issue is dedicated to National conference on Communication, computational intelligence and learning-NCCCIL sponsored by AICTE and organized by Department of Information Technology at Army …

siguiente página >>>