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 - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540230687 - 1. september 2004
Ved uoverensstemmelse mellem cover og titel gælder titel

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 2004 edition

Bob Plamondon

Pris
SEK 659

Bestilles fra fjernlager

Forventes klar til forsendelse 28. okt. - 3. nov.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 1. september 2004
ISBN13 9783540230687
Forlag Springer-Verlag Berlin and Heidelberg Gm
Genre Cultural Region > Canadian
Antal sider 297
Mål 160 × 240 × 16 mm   ·   435 g
Sprog Tysk  
Klipper/redaktør Bernardo, Marco
Klipper/redaktør Corradini, Flavio

Se alt med Bob Plamondon ( f.eks. Paperback Bog )