Industrial Use of Formal Methods

View on Open Library

Industrial Use of Formal Methods

by Jean-Louis Boulanger

No reviews yet

First published: 2012 1 language ISBN: 9781118561829

Subjects

Computer software, development Computers

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Jean-Louis Boulanger

Formal Methods

Scade

Safety of Software-Based Systems

Safety of Software-Based Systems

Formal Methods Applied to Industrial Complex Systems

Formal Methods Applied to Industrial Com...

Formal Methods Applied to Complex Systems

Formal Methods Applied to Complex System...

Safety of computer architectures

Safety of computer architectures

You Might Also Like

More in Computer software, d...

Advances in Computers, Volume 49 (Advances in Computers)

Advances in Computers, Volume 49 (Advanc...

Marvin V. Zelkowitz

Interactive Computing Series

Interactive Computing Series

Kenneth C. Laudon

Patterns

IBM Redbooks

Advances in Computers

Advances in Computers

Atif Memon

Flash Mobile

Matthew David

SAS(R) 9.1.3 Intelligence Platform

SAS(R) 9.1.3 Intelligence Platform

SAS Publishing