Normale Ansicht MARC ISBD

Reliable software technologies - Ada-Europe 2011 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011 ; proceedings Alexander Romanovsky; Tullio Vardanega (eds.) - XIII, 225 S. Ill., graph. Darst. 235 mm x 155 mm - Lecture Notes in Computer Science / Programming and Software Engineering 6652 . - 665200 . - Lecture notes in computer science 6652 .

Literaturangaben

Reliable software technologies - Ada-Europe 2011 Romanovsky, Alexander: Reliable Software Technologies - Ada-Europe 2011

ISBN: 3642213375 Pb. : ca. EUR 49.22 (DE) (freier Pr.), ca. sfr 66.00 (freier Pr.) 9783642213373 : Pb. : ca. EUR 49.22 (DE) (freier Pr.), ca. sfr 66.00 (freier Pr.)

Standard No.: 9783642213373

Publisher. No.: 80063542

Nat. Bib. No.: 11,N18 dnb 11,N18 dnb

Nat. Bib. Agency Control No.: 1011273713 DE-101

Subjects--Index Terms: Ada 2005 programming Paperback / softback Research formal methods parallel programming real-time systems reliable systems safety-critical systems systems modeling

Index Terms--Genre/Form:
Konferenzschrift--Edinburgh--2011

Dewey Class. No.: 004 005.133 004