Treffer 1 - 2 von 2 für Suche 'Rayadurgam, Sanjai', Suchdauer: 2,00s
Treffer weiter einschränken
-
1
NASA formal methods 8th international symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016 : proceedings
Veröffentlicht 2016Weitere Verfasser: “… Rayadurgam, Sanjai …”
Signatur: Wird geladen …
Standort: Wird geladen …Tagungsbericht Buch Wird geladen … -
2
NASA formal methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016 : proceedings
Veröffentlicht 2016Weitere Verfasser: “… Rayadurgam, Sanjai …”
Signatur: Wird geladen …
Standort: Wird geladen …
VolltextElektronisch Tagungsbericht E-Book
Suchwerkzeuge:
Ähnliche Schlagworte
Automatisches Beweisverfahren
Formale Methode
Softwareentwicklung
Systementwicklung
Testen
Verifikation
Computer Science
Computer logic
Computer programming
Computer science
Informatik
Konferenzschrift
Konferenzschrift 2016 Minneapolis, Minn
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Mathematical logic
Operating Systems
Operating systems (Computers)
Programming Languages, Compilers, Interpreters
Programming Techniques
Programming languages (Electronic computers)
Software Engineering
Software engineering