David Faragó - Bücher - alle Infos bei Yasni.de

(1 - 9 von 9

)

Rubin Charles J Rollert David Farago John Stark Rick Etra Jonathan -...

www.abebooks.com

Junk Food by Rubin, Charles J.; Rollert, David; Farago, John; Stark, Rick and Etra, Jonathan and a great selection of related books, art and collectibles...

Test, Analyse und Verifikation von Software – gestern, heute, morgen...

books.google.de

Das Testen, Analysieren und Verifizieren von Software hat in den letzten Jahren erheblich an Bedeutung gewonnen, da die Qualität eine immer größere Rolle beim...

Verification-based Software-fault Detection - Christoph David...

books.google.de

Software is used in many safety- and security-critical systems. Software development is, however, an error-prone task. In this work new techniques for the...

Composer Genealogies: A Compendium of Composers, Their Teachers, and...

books.google.de

Throughout the western classical tradition, composers have influenced and been influenced by their students and teachers. Many musicians frequently add to...

Model Checking Software: 16th International SPIN Workshop, Grenoble,...

books.google.de

This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Checking Software, SPIN 2009, held in Grenoble, France, in June...

NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett...

books.google.de

This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May...

Deductive Verification of Object-oriented Software: Dynamic Frames,...

books.google.co.uk

Software systems play a central role in modern society, and their …ctness is often crucially important. Formal specification and verification are promising...

Software Verification: 12th International Conference, VSTTE 2020, and...

books.google.co.uk

Marko Kleine Büning, Carsten Sinz, and David Faragó Verified Translation Between Purely Functional and Imperative Domain Specific ...

Financial Cryptography: 4th International Conference, FC

books.google.co.uk

Financial Cryptography marked the fourth time the technical, business, legal, and political communities from around the world joined together on the...

Verwandte Suchanfragen zu David Faragó

Personen
Vorname "David" (65431)
Name "Faragó" (36)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Bücher David Faragó