Verlag: San Francisco State University
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Paperback. Zustand: As New. No Jacket. Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less.
Sprache: Englisch
Erscheinungsdatum: 2004
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Softcover-Grossformat; Zustand: Gut. 275 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); Einband leicht staubschmutzig, ansonsten ordentlicher Erhaltungszustand; Sprache: Englisch Gewicht in Gramm: 700.
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 50,63
Anzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 462 Illus.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 59,99
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 59,99
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001.The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and concurrent systems.The 13 revised full papers presented together with one invited survey paper and three invited industrial experience reports were carefully reviewed and selected from 26 submissions. Besides foundational issues of program analysis and formal verification, the papers focus on tools for model checking and practical applications in a variety of fields.
Taschenbuch. Zustand: Neu. Fundamental Approaches to Software Engineering | 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings | Matthew B. Dwyer (u. a.) | Taschenbuch | xvi | Englisch | 2007 | Springer | EAN 9783540712886 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Model Checking Software | 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings | Matthew Dwyer | Taschenbuch | x | Englisch | 2001 | Springer | EAN 9783540421245 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Springer, Berlin, Springer, 2007
ISBN 10: 3540712887 ISBN 13: 9783540712886
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 10th International Conference on Fundamental Approaches to Software Engineering, FASE 2007, held in Braga, Portugal in March/April 2007 as part of ETAPS 2007, the Joint European Conferences on Theory and Practice of Software. It covers evolution and agents, model driven development, tool demonstrations, distributed systems, specification, services, testing, analysis, and design.
EUR 138,55
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
EUR 176,86
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 256 pages. 9.00x6.00x0.50 inches. In Stock.
Zustand: New. This volume draws together both theoretical and empirical contributions reflecting on, and developing, the growing scholarship being produced at the intersection of 'queer' and 'criminology'. The contributions each highlight how such scholarship is essential to achieving greater social and criminal justice for LGBTIQ communities. Editor(s): Ball, Matthew; Dwyer, Angela; Crofts, Thomas. Num Pages: 265 pages, biography. BIC Classification: JFSJ; JFSK; JHBA; JKV. Category: (P) Professional & Vocational. Dimension: 146 x 223 x 19. Weight in Grams: 448. . 2015. 1st ed. 2016. hardcover. . . . . Books ship from the US and Ireland.