1
0
0
(1 - 30 von 49
)
Tests and Proofs. 6th International Conference, TAP 2012, Prague, Czech Republic, May June 1, Proceedings
von ACHIM BRUCKER, Springer, 2012, Taschenbuch
bol.com: bol.com | Achim Brucker Boeken kopen? Kijk snel!
Boeken van Achim Brucker lezen? Boeken van Achim Brucker koop je eenvoudig online bij bol.com ✓ Gratis retourneren ✓ 30 dagen bedenktijd ✓ Snel in huis
achim brucker - ZVAB
www.zvab.com
Tests and Proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May June 1, Proceedings von Achim Brucker und eine große Auswahl...
Bookmanager
bookmanager.com
Bookmanager has everything you need to run your bookstore. For 30 years, we've been providing booksellers & vendors in North America with outstanding service.
AbeBooks: achim brucker - AbeBooks
Tests and Proofs von Brucker, Achim und eine große Auswahl ähnlicher Bücher, Kunst und Sammlerstücke erhältlich auf AbeBooks.de.
Achim Brucker (Author of Secure and Trustworthy Service ...www.goodreads.com › Achim_Brucker
www.goodreads.com
Join Goodreads. to see if your friends have read any of Achim Brucker's books. Sign Up Now · Sign in with Facebook. Achim Brucker. Follow Author. 1 follower ...
bokus.com: Tests and Proofs - Achim Brucker, Jacques Julliand - Häftad...
Pris: 599 kr. Häftad, Skickas inom 3-6 vardagar. Köp Tests and Proofs av Achim Brucker, Jacques Julliand på Bokus.com.
adlibris.com: Achim Brucker | Adlibris
Hos Adlibris hittar du miljontals böcker och produkter inom Achim Brucker Vi har ett brett sortiment av böcker, garn, leksaker, pyssel, sällskapsspel,...
Achim D. Brucker
www.db.informatik.uni-bremen.de
Achim D. Brucker: Achim D. Brucker, Burkhart Wolff: HOL-OCL: Experiences, Consequences and Design Choices, Fifth International Conference on the Unified ...
Models in Software Engineering: Workshops and Symposia at MODELS
books.google.de
... Germany – Achim Brucker, SAP, Germany – Manuel Clavel, IMDEA Software Institute, Spain – Dan Chiorean, University of Cluj, Romania – Tony Clark, ...
Tests and Proofs: 6th International Conference, TAP 2012, Prague,...
books.google.de
This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June...
Secure and Trustworthy Service Composition: The Aniketos ...books.google.com › books
books.google.de
The Aniketos Approach Achim Brucker, Fabiano Dalpiaz, Paolo Giorgini, Per Håkon Meland, Erkuden Rios. Using SecureBPMN for Modelling Security-Aware ...
Secure and Trustworthy Service Composition : Achim Brucker :...
www.bookdepository.com
Secure and Trustworthy Service Composition by Achim Bruckeravailable at Book Depository with free delivery worldwide.
Tests and Proofs : Achim Brucker :
www.bookdepository.com
Tests and Proofs by Achim Bruckeravailable at Book Depository with free delivery worldwide.
Tests and Proofs von Achim Brucker | ISBN www.lehmanns.de › ... › Software Entwicklung
www.lehmanns.de
Tests and Proofs von Achim Brucker, Jacques Julliand (ISBN ) bestellen Praxisbuch IT-Dokumentation - Manuela Reiss; Georg Reiss.
Tests and Proofs von Achim Brucker | ISBN |...
www.lehmanns.ch
Tests and Proofs von Achim Brucker, Jacques Julliand (ISBN ) bestellen. Schnelle Lieferung, auch auf Rechnung - lehmanns.ch.
eBook: Secure and Trustworthy Service Composition von Achim Brucker |...
www.lehmanns.de
Secure and Trustworthy Service Composition von Achim Brucker, Fabiano Dalpiaz, Paolo Giorgini, Per Hakon Meland, Erkuden Rios (ISBN ) online kaufen | Sofort-Download - …
Integrating Security Aspects into Business Process Models
www.degruyter.com
Integrating Security Aspects into Business Process Models. Achim D. Brucker . 1 SAP AG, Karlsruhe. DOI: https://doi.org itit.
Fabiano Dalpiaz (Author of Security Requirements Engineering)
www.goodreads.com
Secure and Trustworthy Serv... Secure and Trustworthy Service Composition: The Aniketos Approach by. Achim Brucker (Editor),. Fabiano Dalpiaz (Editor).
bokus.com: Achim Brucker - Böcker | Bokus bokhandel
Köp böcker av Achim Brucker hos Bokus med fri frakt och snabb leverans. Här hittar du de senaste och mest populära böckerna till bra pris!
Secure and Trustworthy Service Composition - Achim...
www.eurobuch.ch
Secure and Trustworthy Service Composition. Finden Sie alle Bücher von Achim Brucker; Fabiano Dalpiaz; Paolo Giorgini; Per Hakon Meland; Erkuden Rios. Bei der...
Software Engineering and Formal Methods: SEFM books.google.com › books
books.google.de
Achim Brucker Product Security Research Team, SAP AG, Germany Keynote Speaker of BEAT 2 Building large systems by composing reusable services is not a ...
Testing Software and Systems: 23rd IFIP WG 6.1 International...
books.google.de
This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2011, held in Paris,...
Theorem Proving in Higher Order Logics: 20th International ...books.google.com › books
books.google.de
Acknowledgment. Achim Brucker made valuable suggestions for the design of the proof-obligation manager and provided many valuable comments.
Secure and Trustworthy Service Composition von Achim Brucker | ISBN...
www.lehmanns.de
Secure and Trustworthy Service Composition von Achim Brucker, Fabiano Dalpiaz, Paolo Giorgini, Per Håkon Meland (ISBN ) versandkostenfrei bestellen.
Publikationen AV
www.dfki.de
Startseite · Forschung · Forschungsbereiche & -gruppen · Erweiterte Realität; Publikationen AV. Publikationen (AV). Seite 1 von 1. Achim Brucker, Dieter Hutter ...
Secure and Trustworthy Service Composition: The Aniketos Approachbooks.google.com › books
books.google.de
The Aniketos Approach Achim Brucker, Fabiano Dalpiaz, Paolo Giorgini, Per Håkon Meland, Erkuden Rios. The Aniketos Service Composition Framework: ...
Theorem Proving in Higher Order Logics: 20th International Conference...
books.google.de
This book contains the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in...
Testing Software and Systems: 23rd IFIP WG 6.1 International ...books.google.com › books
books.google.de
Paul Baker Antonia Bertolino Achim Brucker Ana Cavalli Adenilso Da Silva Simao Jim Davies John Derrick Gordon Fraser Mercedes G. Merayo Jens Grabowski ...
KOM - Multimedia Communications Lab: Publications
www.kom.tu-darmstadt.de
Achim Brucker, Stefan Schulte: SoKNOS - Informationsdienste für das Katastrophenmanagement. In: Proceedings of ...
sortiert nach Relevanz / Datum