Disponibiltà
Versione linguistica
Categoria
Forma del prodotto
prezzo massimo
CHF

Risultato ricerca (SicherheitsrelevanteSysteme)

Joh Barnes, John Barnes - Ada 95 Rationale The Language, The Standard Libraries
Joh Barnes, John Barnes Ada 95 Rationale Inglese 18.01.2001 Tascabile CHF 69.00 4-7 giorni lavorativi
Briggs, Briggs, Jim Briggs, Keit Hardy, Keith Hardy - Reliable Software Technologies - Ada-Europe '97 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997. Proceedings
Briggs, Briggs, Jim Briggs, Keit Hardy, Keith Hardy Reliable Software Technologies - Ada-Europe '97 Inglese 01.01.1960 Tascabile CHF 69.00 4-7 giorni lavorativi
Klaus Echtle, Diete Hammer, Dieter Hammer, David Powell - Dependable Computing - EDCC-1 1st European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994. Proceedings
Klaus Echtle, Diete Hammer, Dieter Hammer, David Powell Dependable Computing - EDCC-1 Inglese 01.01.1960 Tascabile CHF 134.00 4-7 giorni lavorativi
Willem-Pau de Roever, Willem-Paul de Roever, Hans Langmaack, Willem-Paul De Roever, Jan Vytopil - Formal Techniques in Real-Time and Fault-Tolerant Systems Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19-23, 1994. Proceedings.
Willem-Pau de Roever, Willem-Paul de Roever, Hans Langmaack, Willem-Paul De Roever, Jan Vytopil Formal Techniques in Real-Time and Fault-Tolerant Systems Inglese 01.01.1960 Tascabile CHF 134.00 4-7 giorni lavorativi
Marce Toussaint, Marcel Toussaint - Ada in Europe, 1995 Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995
Marce Toussaint, Marcel Toussaint Ada in Europe, 1995 Inglese 01.01.1960 Tascabile CHF 69.00 4-7 giorni lavorativi
Manfre Broy, Manfred Broy, Jähnichen, Jähnichen, Stefan Jähnichen - KORSO: Methods, Languages, and Tools for the Construction of Correct Software Final Report
Manfre Broy, Manfred Broy, Jähnichen, Jähnichen, Stefan Jähnichen KORSO: Methods, Languages, and Tools for the Construction of Correct Software Inglese 01.01.1960 Tascabile CHF 69.00 4-7 giorni lavorativi