Catalog > Sciences > Computer Science > Programming Languages > 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

Support

Cover of 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

Table of Content

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

Buy this ebook and get 1 more FREE!

Language English ● Format PDF ● Pages 213 ● ISBN 9783319194585 ● Editor Manuel Núñez & Matthias Güdemann ● Publisher Springer International Publishing ● City Cham ● Country CH ● Published 2015 ● Downloadable 24 months ● Currency EUR ● ID 4456083 ● Copy protection Social DRM

More ebooks from the same author(s) / Editor

Manuel Nunez Matthias Güdemann

2,814 Ebooks in this category

Cover of 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 …

Cover of 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 …

Cover of 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 …

Cover of 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 …

Cover of 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 …

Cover of 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 …

Cover of 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 …

Cover of 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 …

Cover of 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 …