Catalog > Wetenschappen > Computerwetenschappen > Computerwetenschappen > 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]

Ondersteuning

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

€96.29

Inhoudsopgave

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.

Koop dit e-boek en ontvang er nog 1 GRATIS!

Taal Engels ● Formaat PDF ● Pagina’s 273 ● ISBN 9781848827363 ● Bestandsgrootte 3.1 MB ● Editor Paul Boca & Jonathan P. Bowen ● Uitgeverij Springer London ● Stad London ● Land GB ● Gepubliceerd 2009 ● Downloadbare 24 maanden ● Valuta EUR ● ID 2151992 ● Kopieerbeveiliging Sociale DRM

Meer e-boeken van dezelfde auteur (s) / Editor

Paul Boca Jonathan P. Bowen Jawed Siddiqi

16.795 E-boeken in deze categorie

Hoes van 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 …

Hoes van Michael (Simon Fraser University, Canada) Filimowicz: Foundations in Sound Design for Linear Media

Michael (Simon Fraser University, Canada) Filimowicz: Foundations in Sound Design for Linear Media

This volume provides a comprehensive introduction to foundational topics in sound design for linear media, such as listening and recording; audio postproduction; key musical concepts and forms such a …

Hoes van Gilbert Held: Wireless Mesh Networks

Gilbert Held: Wireless Mesh Networks

Wireless mesh networking is a new technology that has the potential to revolutionize how we access the Internet and communicate with co-workers and friends. Wireless Mesh Networks examines the concep …

Hoes van Rajarshi Pal: Innovative Research in Attention Modeling and Computer Vision Applications

Rajarshi Pal: Innovative Research in Attention Modeling and Computer Vision Applications

Hoes van Sharon Yull: BTEC National for IT Practitioners: Business units

Sharon Yull: BTEC National for IT Practitioners: Business units

BTEC National for IT Practitioners: Business Units has been written specifically to cover the business pathway of the BTEC National specifications. This book caters for one of the most popular pathwa …

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

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

Hoes van 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 …

Hoes van 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 …

Hoes van Indrajit Kar & Ralte Zonunfeli: Learn Python Generative AI

Indrajit Kar & Ralte Zonunfeli: Learn Python Generative AI

This book researches the intricate world of generative Artificial Intelligence, offering readers an extensive understanding of various components and applications in this field.The book begins with a …

Hoes van Sanket Subhash Khandare: Mastering Large Language Models

Sanket Subhash Khandare: Mastering Large Language Models

Transform your business landscape with the formidable prowess of large language models (LLMs). The book provides you with practical insights, guiding you through conceiving, designing, and implementi …

Volgende pagina >>>