Produktart
Zustand
Einband
Weitere Eigenschaften
Land des Verkäufers
Verkäuferbewertung
Verlag: Springer Berlin Heidelberg, 2007
ISBN 10: 3540732292ISBN 13: 9783540732297
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement of all aspects of reliable software technologies. The objective of this series of conferences, initiated and sponsored by Ada-Europe, the European federation of national Ada societies, is to provide a forum to promote the development of reliable softwares both as an industrial technique and an academic discipline. Previous editions of the Reliable Software Technologies conference were held in: Porto (Portugal) in 2006, York (UK) in 2005, Palma de Mallorca (Spain) in 2004,Toulouse (France) in 2003,Vienna (Austria) in 2002,Leuven (Belgium) in 2001,Potsdam(Germany)in2000,Santander(Spain)in1999,Uppsala(Sweden) in 1998, London (UK) in 1997 and Montreux (Switzerland) in 1996. The 12th International Conference on Reliable Software Technologies took place in Geneva, Switzerland, June 25-29, 2007, under the continued sponsoring ofAda-Europe,incooperationwithACMSIGAda.Itwasorganizedbymembers of the University of Applied Sciences, Western Switzerland (Engineering School of Geneva), in collaboration with colleagues from various places in Europe. The 13th conference, in 2008, will take place in Venice, Italy.
Verlag: Springer Berlin Heidelberg, 2008
ISBN 10: 3540774181ISBN 13: 9783540774181
Anbieter: moluna, Greven, Deutschland
Buch
Zustand: New. This book constitutes the thoroughly refereed post-proceedings of the 13th International Monterey Workshop on Composition of Embedded Systems: Scientific and Industrial Issues, held in Paris, France, in October 2006. The 12 revised full papers presented .
Verlag: Springer US, 1991
ISBN 10: 1402079966ISBN 13: 9781402079962
Anbieter: moluna, Greven, Deutschland
Buch
Gebunden. Zustand: New. The main reason for buying such a book is that it suggests a proposal for a full coverage of the software life cycle of critical and/or distributed system. It also makes many connections to formal techniques, that are known as the best solution to signif.
Verlag: Springer-Verlag New York Inc., 2004
ISBN 10: 1402079966ISBN 13: 9781402079962
Anbieter: Ammareal, Morangis, Frankreich
Buch
Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 2004. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2004. Ammareal gives back up to 15% of this item's net price to charity organizations.
Verlag: Saint Philip Street Press, 2020
ISBN 10: 1013271203ISBN 13: 9781013271205
Anbieter: moluna, Greven, Deutschland
Buch
Zustand: New. KlappentextrnrnThis book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which too.
Verlag: HERMES SCIENCE, 2013
ISBN 10: 2746239000ISBN 13: 9782746239005
Anbieter: Gallix, Gif sur Yvette, Frankreich
Buch
Zustand: Neuf.
Verlag: Saint Philip Street Press, 2020
ISBN 10: 1013271211ISBN 13: 9781013271212
Anbieter: moluna, Greven, Deutschland
Buch
Zustand: New. KlappentextrnrnThis book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which too.
Verlag: HERMES SCIENCE, 2006
ISBN 10: 2746214474ISBN 13: 9782746214477
Anbieter: Gallix, Gif sur Yvette, Frankreich
Buch
Zustand: Neuf.
Verlag: Hermes Science Publications, 2008
ISBN 10: 2746219433ISBN 13: 9782746219434
Anbieter: Ammareal, Morangis, Frankreich
Buch
Softcover. Zustand: Bon. Ancien livre de bibliothèque. Salissures sur la tranche. Edition 2008. Ammareal reverse jusqu'à 15% du prix net de ce livre à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Soiling on the side. Edition 2008. Ammareal gives back up to 15% of this book's net price to charity organizations.