Formal Methods in Systems Engineering - Peter Ryan - Böcker - Springer-Verlag Berlin and Heidelberg Gm - 9783540197515 - 16 juni 1993
Om omslag och titel inte matchar är det titeln som gäller

Formal Methods in Systems Engineering

Pris
SEK 539

Beställningsvara

Förväntad leverans 18 - 26 jun
Lägg till din iMusic-önskelista
eller

This volume contains the proceedings of the Formal Methods Workshop, held in Drymen, Scotland, in September 1991. It concentrated on the themes of quality assurance, design methods and mathematical modelling techniques. Particular emphasis was given to safety and security applications.


206 pages, biography

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 16 juni 1993
ISBN13 9783540197515
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 206
Mått 155 × 235 × 11 mm   ·   299 g
Språk Tyska  
Redaktör Ryan, Peter
Redaktör Sennett, Chris

Fler produkter med Peter Ryan

Visa alla

Mere med samme udgiver