Condition: New.
Condition: New.
Condition: As New. Unread book in perfect condition.
Condition: New. pp. 400.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 68.55
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 68.55
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 68.55
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Chiron Media, Wallingford, United Kingdom
US$ 66.31
Quantity: 10 available
Add to basketPaperback. Condition: New.
Seller: Chiron Media, Wallingford, United Kingdom
US$ 66.41
Quantity: 10 available
Add to basketPF. Condition: New.
Seller: Chiron Media, Wallingford, United Kingdom
US$ 66.63
Quantity: 10 available
Add to basketPF. Condition: New.
Condition: New. pp. 400 Illus.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 69.86
Quantity: Over 20 available
Add to basketCondition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 69.77
Quantity: Over 20 available
Add to basketCondition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 70.08
Quantity: Over 20 available
Add to basketCondition: New.
Condition: New. 1st ed. 2018 edition NO-PA16APR2015-KAP.
Condition: New. pp. 304.
Condition: New. pp. 400.
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 77.76
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Seller: Revaluation Books, Exeter, United Kingdom
US$ 90.75
Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 260 pages. 9.25x6.10x0.63 inches. In Stock.
Condition: New.
Language: English
Published by Springer Berlin Heidelberg, 2005
ISBN 10: 3540260544 ISBN 13: 9783540260547
Seller: moluna, Greven, Germany
Condition: New.
Language: English
Published by Springer International Publishing, Springer Nature Switzerland Sep 2018, 2018
ISBN 10: 3030010414 ISBN 13: 9783030010416
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Taschenbuch. Condition: Neu. Neuware -This book constitutes the refereed proceedings of the 10th International Conference on System Analysis and Modeling, SAM 2018, held in Copenhagen Denmark, in October 2018. The 12 full papers and 2 short papers presented were carefully reviewed and selected from 24 submissions. The papers describe innovations, trends, and experiences in modeling and analysis of complex systems using ITU-T's Specification and Description Language (SDL-2010) and Message Sequence Chart (MSC) notations, as well as related system design languages ¿ including UML, ASN.1, TTCN, SysML and the User Requirements Notation (URN). This year¿s edition of SAM will be under the theme ¿Languages, Methods, and Tools for Systems Engineering¿, including languages and methods standardized by the ITU-T, and domain-specific languages. Also included are software engineering technologies, such as for requirements engineering, software verification and validation, and automated code generation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.
Language: English
Published by Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3030010414 ISBN 13: 9783030010416
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 10 th International Conference on System Analysis and Modeling, SAM 2018, held in Copenhagen Denmark, in October 2018. The 12 full papers and 2 short papers presented were carefully reviewed and selected from 24 submissions. The papers describe innovations, trends, and experiences in modeling and analysis of complex systems using ITU-T's Specification and Description Language (SDL-2010) and Message Sequence Chart (MSC) notations, as well as related system design languages - including UML, ASN.1, TTCN, SysML and the User Requirements Notation (URN). This year's edition of SAM will be under the theme 'Languages, Methods, and Tools for Systems Engineering', including languages and methods standardized by the ITU-T, and domain-specific languages. Also included are software engineering technologies, such as for requirements engineering, software verification and validation, and automated code generation.
Language: English
Published by Springer Berlin Heidelberg, 2013
ISBN 10: 3642389104 ISBN 13: 9783642389108
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 16th System Design Languages Forum, SDL 2013, held in Montreal, QC, Canada, in June 2013. The 16 revised, high-quality, full papers presented were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on verification and testing; dependability engineering; analysis; domain specific languages; model transformation; specification and description language and evolution.
Language: English
Published by Springer Berlin Heidelberg, 2005
ISBN 10: 3540260544 ISBN 13: 9783540260547
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the 17th IFIP TC6/WG6. 1 Inter- tional Conference on Testing of Communicating Systems (TestCom 2005). The conference was held at Concordia University, Montr eal, Canada, from May 31 to June 2, 2005. TestCom 2005 was organized by Concordia University and was sponsored by IFIP. Following the trends initiated at the 16th edition of the conference held in Oxford, UK, the rst call for papers issued in summer 2004 called for contri- tions from the general software testing community. The goal of the conference thisyearwas tocontinue the broadeningofthesubject. The themeoftheconf- ence this year is Meeting Software Testing. In response to the call for papers, we received 62 abstracts. Out of these abstracts, 53 turned into paper subm- sions. Each of these submissions was evaluated by at least 3 reviewers from the Technical Programme Committee, with the help of additional co-reviewers when needed. The Programme Committee meeting was held online from January 18 to January 30, 2005. Out of the 53 submitted papers, the Programme C- mittee selected 24 papers covering the traditional topics of TestCom, such as EFSM/FSM model-based testing, and also papers on general software testing re ecting the new trends in the conference. We are very grateful to the keynote speaker, Prof. Tom Maibaum, from McMaster University, Hamilton, Canada. Prof. Maibaum addressed TestCom 2005 on this year s theme. He kindly provided an extended abstract, which is also included in this volume.