Catalog > Ciência > Ciência da Computação > Ciência da Computação > Marco Bernardo & Alessandro Cimatti: Formal Methods for Hardware Verification (PDF)

Marco Bernardo & Alessandro Cimatti
Formal Methods for Hardware Verification [PDF ebook]
6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures

Apoio

Capa do Marco Bernardo & Alessandro Cimatti: Formal Methods for Hardware Verification (PDF)

€57.99

Compre este e-book e ganhe mais 1 GRÁTIS!

Língua Inglês ● Formato PDF ● ISBN 9783540343059 ● Editor Marco Bernardo & Alessandro Cimatti ● Editora Springer Berlin Heidelberg ● Publicado 2006 ● Carregável 3 vezes ● Moeda EUR ● ID 6316917 ● Proteção contra cópia Adobe DRM

Requer um leitor de ebook capaz de DRM

Mais ebooks do mesmo autor(es) / Editor

Marco Bernardo Alessandro Cimatti

16.501 Ebooks nesta categoria

Capa do 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 …

Capa do 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 …

Capa do 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 …

Capa do 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 …

Capa do Joanna Kulesza: International Internet Law

Joanna Kulesza: International Internet Law

This book discusses the international legal issues underlying Internet Governance and proposes an international solution to its problems. The book encompasses a wide spectrum of current debate surrou …

Capa do Tarek Gaber & Aboul Ella Hassanien: Handbook of Research on Machine Learning Innovations and Trends

Tarek Gaber & Aboul Ella Hassanien: Handbook of Research on Machine Learning Innovations and Trends

Capa do 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 …

Capa do Suman Dutta: Immersive Realm of Extended Reality

Suman Dutta: Immersive Realm of Extended Reality

Virtual and extended reality technologies have come a long way since their inception, and today, they are poised to change how we work, learn, and interact with the world. From gaming and entertainme …

Capa do Constantin Virgil Negoita: Cybernetics and Applied Systems

Constantin Virgil Negoita: Cybernetics and Applied Systems

In light of the enormous interest in building intelligent systems, this volume blends theory, applications, and methodology of cybernetics taking it out of the realm of the abstract and explaining ho …

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

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

Próxima página >>>