Catalog > Ciencia > Informática > Lenguajes de programación > Manuel Núñez & Matthias Güdemann: Formal Methods for Industrial Critical Systems (PDF)

Manuel Núñez & Matthias Güdemann
Formal Methods for Industrial Critical Systems [PDF ebook]
20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings

Soporte

Portada de Manuel Núñez & Matthias Güdemann: Formal Methods for Industrial Critical Systems (PDF)

This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015.The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.

€51.16

Tabla de materias

Applications.- Protocols.- Specification and analysis.- Verification.

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

Idioma Inglés ● Formato PDF ● Páginas 213 ● ISBN 9783319194585 ● Editor Manuel Núñez & Matthias Güdemann ● Editorial Springer International Publishing ● Ciudad Cham ● País CH ● Publicado 2015 ● Descargable 24 meses ● Divisa EUR ● ID 4456083 ● Protección de copia DRM social

Más ebooks del mismo autor / Editor

Manuel Nunez Matthias Güdemann

2.814 Ebooks en esta categoría

Portada de Francesc Josep Ferri Rabasa: Teoria d'autòmats i llenguatges formals

Francesc Josep Ferri Rabasa: Teoria d’autòmats i llenguatges formals

‘Teoria d’autòmats i llenguatges formals’ es un libro de introducción a los diversos aspectos que constituyen la base de los modelos de computación y de los lenguajes de programación. Se introducen l …

Portada de Barry Burd: Java For Dummies

Barry Burd: Java For Dummies

Learn to code with Java and open the gate to a rewarding career Now in its 9th edition, Java For Dummies gives you the essential tools you need to understand the programming language that 17 million …

Portada de John Paul Mueller: C++ Essentials For Dummies

John Paul Mueller: C++ Essentials For Dummies

The quick and crystal-clear guide to C++ programming C++ Essentials For Dummies is your useful reference to the key concepts of C++, the popular general-purpose language utilized everywhere from buil …

Portada de Doug Lowe & Paul McFedries: Java Essentials For Dummies

Doug Lowe & Paul McFedries: Java Essentials For Dummies

Swiftly brush up on the foundations of Java programming Java Essentials For Dummies is a reliable and succinct reference on the core components of Java—the multifaceted general-purpose language used …

Portada de Richard Blum & Allen G. Taylor: SQL Essentials For Dummies

Richard Blum & Allen G. Taylor: SQL Essentials For Dummies

A right-to-the-point guide on all the key topics of SQL programming SQL Essentials For Dummies is your quick reference to all the core concepts of SQL—a valuable common standard language used in rela …

Portada de Aaron Saunders: Building Cross-Platform Apps using Titanium, Alloy, and Appcelerator Cloud Services

Aaron Saunders: Building Cross-Platform Apps using Titanium, Alloy, and Appcelerator Cloud Services

Skip Objective-C and Java to get your app to market faster, using the skills you already have Building Cross-Platform Apps using Titanium, Alloy, and Appcelerator Cloud Services shows you how to buil …

Portada de Scott Selikoff & Jeanne Boyarsky: OCP Oracle Certified Professional Java SE 17 Developer Study Guide

Scott Selikoff & Jeanne Boyarsky: OCP Oracle Certified Professional Java SE 17 Developer Study Guide

An effective and practical study aid to the new OCP Java SE 17 Developer certification exam In the OCP Oracle Certified Professional Java SE 17 Developer Study Guide: Exam 1Z0-829, you’ll find access …

Portada de Richard Mansfield: Mastering VBA for Microsoft Office 2016

Richard Mansfield: Mastering VBA for Microsoft Office 2016

Enhance productivity in any Office application with zero programming experience Mastering VBA for Microsoft Office 2016 helps you extend the capabilities of the entire Office suite using Visual Basic …

Portada de Chris Minnick & Eva Holland: Writing Computer Code

Chris Minnick & Eva Holland: Writing Computer Code

A technology book for kids! Learning how to code can be like learning a foreign language.This book serves as an excellent guide to help you start writing in the odd-looking languages that make the we …