1
0
0
(1 - 30 von 34
)
erika abraham - ZVAB
www.zvab.com
Tools and Algorithms for the Construction and Analysis of Systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint ...
Theory and Practice of Formal Methods : Essays Dedicated to Frank de...
www.booksamillion.com
Theory and Practice of Formal Methods | This Festschrift volume has been published in honor of Frank de Boer, on the occasion of his 60th birthday. Frank S. de...
Theory and Practice of Formal Methods: Essays Dedicated to ...www.goodreads.com › book › show ›
www.goodreads.com
by. Erika Abraham (Editor),. Einar Broch Johnsen (Editor). ,. Marcello Bonsangue (Editor) · Rating details · 0 ratings · 0 reviews.
At The Pinnacle: One Woman's Running Journey by Erika Abraham,...
www.barnesandnoble.com
The Paperback of the At The Pinnacle: One Woman's Running Journey by Erika Abraham at Barnes & Noble. FREE Shipping on $35 or more!
bokus.com: Erika Abraham - Böcker | Bokus bokhandel
Köp böcker av Erika Abraham: Theory and Practice of Formal Methods; Integrated Formal Methods; Tools and Algorithms for the Construction and Analysi... m.fl.
Author: Erika Ábrahám
easychair.org
Xin Chen, Sriram Sankaranarayanan and Erika Abraham. In:ARCH st and 2nd International Workshop on Applied veRification for Continuous and ...
At The Pinnacle: One Woman's Running Journey - Erika Abraham - Google...
books.google.com.ua
"Go for it, Mom " With those words of encouragement, Erika Abraham began a long running journey defined by dozens of years; thousands of miles; countless ...
Formal Aspects of Component Software: 9th International Symposium,...
books.google.de
September Corina S. P ̆as ̆areanu Gwen Salaün Organization Program Committee Erika Abraham Farhad Arbab Christian Attiogbe Christel Preface.
Theory and Practice of Formal Methods : Erika Abraham :
www.bookdepository.com
Theory and Practice of Formal Methods by Erika Abrahamavailable at Book Depository with free delivery worldwide.
bokus.com: At The Pinnacle - Erika Abraham, Greg Schaffer - Häftad...
Pris: 159 kr. Häftad, Skickas inom vardagar. Köp At The Pinnacle av Erika Abraham, Greg Schaffer på Bokus.com.
Formal Modeling and Analysis of Timed Systems: 11th International...
books.google.de
Erika Abraham V ́ıctor Braberman Thomas Chatain Alexandre David Alexandre Donzé Georgios Fainekos Jean-Marie Farines Ansgar Fehnker Goran Frehse ...
Formal Techniques for Distributed Objects, Components, and Systems:...
books.google.de
This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems,...
Integrated Formal Methods: 10th International Conference, IFM 2013,...
books.google.de
This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June...
bokus.com: Integrated Formal Methods - Erika Abraham, Marieke Huisman - Häftad...
Pris: kr. Häftad, Skickas inom vardagar. Köp Integrated Formal Methods av Erika Abraham, Marieke Huisman på Bokus.com.
CONCUR Concurrency Theory: 14th International Conference,...
books.google.de
This book constitutes the refereed proceedings of the 14th International Conference on Concurrency Theory, CONCUR 2003, held in Marseille, France in September...
Tools and Algorithms for the Construction and Analysis of Systems:...
books.google.de
Erika Abraham Marsha Chechik Rance Cleaveland Leonardo De Moura Cindy Eisner Cédric Fournet Dimitra Giannakopoulou Susanne Graf Kim Guldstrand ...
bokus.com: Theory and Practice of Formal Methods - Erika Abraham, Einar Broch...
Pris: 829 kr. Häftad, Skickas inom vardagar. Köp Theory and Practice of Formal Methods av Erika Abraham, Einar Broch Johnsen, Marcello Bonsangue på...
CONCUR Concurrency Theory: 14th International ...books.google.com › books
books.google.de
Erika Abraham-Mumm Marek A. Bednarczyk Bernard Boigelot Rafael Accorsi Luca Aceto Rajeev Alur Eugene Asarin Christel Baier Massimo Benerecetti Martin ...
Verification, Model Checking, and Abstract Interpretation: 18th
books.google.de
This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017,...
FSTTCS 2006: Foundations of Software Technology and Theoretical...
books.google.de
This book constitutes the refereed proceedings of the 26th International Conference on the Foundations of Software Technology and Theoretical Computer Science,...
FSTTCS 2006: Foundations of Software Technology and ...books.google.com › books
books.google.de
... Schallhart Daniel Hirschkoff Daniel Willems Daniele Varacca David N. Jansen Dino Distefano Doina Precup Elad Schiller Erika Abraham Fedor Fomin Franck ...
Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG...
books.google.de
This volume contains the proceedings of FMOODS 2003, the 6th IFIP WG International Conference on Formal Methods for Open Object-Based Distributed Systems....
Fundamentals of Software Engineering: 7th International Conference,...
books.google.de
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Fundamentals of Software Engineering, FSEN...
Formal Techniques for Distributed Objects, Components, and ...books.google.com › books
books.google.de
Erika Abraham Luca Aceto S. Akshay Paul Attie Rohit Chadha Rance Cleaveland Frank de Boer Borzoo Bonakdarpour Michele Boreale Stephanie Delaune ...
Practical Aspects of Declarative Languages: 19th International...
books.google.de
This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in...
Fundamentals of Software Engineering: 7th International ...books.google.com › books
books.google.de
Mohammad Abdollahi Azgomi Erika Abraham Gul Agha Christel Baier Ezio Bartocci Marcello Bonsangue Mario Bravetti Michael Butler Mehdi Dastani Erik De ...
Tools and Methods of Program Analysis: 4th International Conference,...
books.google.de
This book constitutes the refereed proceedings of the 4th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March...
Practical Aspects of Declarative Languages: 19th ...books.google.bg › books
books.google.bg
Erika Abraham Marcello Balduccini Lars Bergstrom Bart Bogaerts Edwin Brady Martin Brain Mats Carlsson Manuel Carro Stefania Costantini Marc Denecker ...
Tools and Methods of Program Analysis: 4th International ...books.google.bg › books
books.google.bg
Erika Abraham Marat Akhin Wolfgang Ahrendt Mikhail Belyaev Dirk Beyer Nikolaj Bjorner Dmitry Boulytchev Michele Bugliesi Franck Cassez Vincent Cheval ...
Proceedings of the 1st International Workshop on Gender ...books.google.com › books › about
books.google.de
Proceedings of the 1st International Workshop on Gender Equality in Software Engineering. Front Cover. Erika Abraham. IEEE., Reviews ...
Verwandte Suchanfragen zu Erika Abraham
Ralf Wimmer Anne Remke Christel Baier | Bernd Becker Marie Sophie Kühn Stefano Minopoli | Sigurd Schlüter |
Person "Abraham" (5) Vorname "Erika" (23213) Name "Abraham" (5521) |
sortiert nach Relevanz / Datum