Bob Plamondon
Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures - Lecture Notes in Computer Bob Plamondon 2004 edition

Name: Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures - Lecture Notes in Computer
Price: 53.99 EUR
Availability: OutOfStock
Author: Bob Plamondon

Cena

€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 5. - 13. okt.

Saņemiet paziņojumus par jauniem Bob Plamondon izdevumiem

Mūsu klienti saka:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu

Top vieta Trustpilot

Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures - Lecture Notes in Computer

Bob Plamondon

2004 edition

Researchers and advanced students will appreciate the book as a valuable source of reference and a systematic guide to the use of formal methods for the specification, analysis, and verification of real-time systems.

297 pages, biography

Mediji	Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists	2004. gada 1. septembris
ISBN13	9783540230687
Izdevēji	Springer-Verlag Berlin and Heidelberg Gm
Žanrs	Cultural Region > Canadian
Lapas	297
Izmēri	160 × 240 × 16 mm · 435 g
Valoda	Vācu
Redaktors	Bernardo, Marco
Redaktors	Corradini, Flavio