Catalog > Scienza > Informatica > Informatica > Egon Borger & Angelo Gargantini: Abstract State Machines 2003: Advances in Theory and Practice (PDF)

Egon Borger & Angelo Gargantini
Abstract State Machines 2003: Advances in Theory and Practice [PDF ebook]
10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings

Supporto

Copertina di Egon Borger & Angelo Gargantini: Abstract State Machines 2003: Advances in Theory and Practice (PDF)

This book constitutes the refereed proceedings of the 10th International Workshop on Abstract State Machines, ASM 2003, held in Taormina, Italy in March 2003.The 16 revised full papers presented together with 8 invited papers and 12 abstracts were carefully reviewed and selected for inclusion in the book. The papers reflect the state of the art of the abstract state machine method for the design and analysis of complex software/hardware systems. Besides theoretical results and methodological progress, application in various fields are studied as well.

€58.04

Acquista questo ebook e ricevine 1 in più GRATIS!

Lingua Inglese ● Formato PDF ● ISBN 9783540364986 ● Editore Egon Borger & Angelo Gargantini ● Casa editrice Springer Berlin Heidelberg ● Pubblicato 2003 ● Scaricabile 3 volte ● Moneta EUR ● ID 6317320 ● Protezione dalla copia Adobe DRM

Richiede un lettore di ebook compatibile con DRM

Altri ebook dello stesso autore / Editore

Egon Borger Angelo Gargantini Elvinia Riccobene

16.795 Ebook in questa categoria

Copertina di 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 …

Copertina di 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 …

Copertina di 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 …

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

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

Copertina di 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 …

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

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

Copertina di 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 …

Copertina di 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 …

Copertina di 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 …

Copertina di 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 …

Pagina successiva >>>