Order Total (1 Item Items):
Shipping Destination:
Grieskamp Wolfgang (36 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (36)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (28)
- As New, Fine or Near Fine (7)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (36)
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (23)
- Not Print on Demand (26)
Language (1)
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
Testing of Software and Communicating Systems: 19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, . (Lecture Notes in Computer Science, 4581)
First Edition
Trade Paperback. Condition: As New. No Jacket. First Edition. 8vo - over 7¾" - 9¾" Clean, tight as new copy.
-
Integrated Formal Methods: Second International Conference, Ifm 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : Proceedings (Lecture Notes in Computer Science, 1945)
Language: English
Published by Springer-Verlag Telos, 2000
ISBN 10: 3540411968 ISBN 13: 9783540411963
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. 439 pp., softcover, ex library, else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings (Lecture Notes in Computer Science)
Language: English
Published by Springer 13.06.2008., 2008
ISBN 10: 3540411968 ISBN 13: 9783540411963
Condition: Sehr gut. Auflage: 2000. 456 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 23,1 x 15,5 x 2,5 cm, Taschenbuch.
-
Condition: As New. Unread book in perfect condition.
-
Testing of Software and Communicating Systems: 19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, ... (Lecture Notes in Computer Science, 4581)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.43
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Formal Approaches to Software Testing: 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers (Lecture Notes in Computer Science, 3997)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.43
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings (Lecture Notes in Computer Science, 1945)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.43
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
-
-
-
-
Formal Approaches to Software Testing : 5th International Workshop, Fates 2005, Edinburgh, Uk, July 11, 2005, Revised Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Integrated Formal Methods : Second International Conference, Ifm 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Integrated Formal Methods : Second International Conference, Ifm 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Formal Approaches to Software Testing : 5th International Workshop, Fates 2005, Edinburgh, Uk, July 11, 2005, Revised Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Paperback. Condition: Like New. Like NewLIKE NEW. book.
-
Condition: New. pp. 398.
-
Condition: As New. Unread book in perfect condition.
-
Testing of Software and Communicating Systems: 19th Ifip Tc 6/Wg 6.1 International Conference, Testcom 2007, 7th International Workshop, Fates 2007, Tallin, Estonia, June 26-29, 2007, Proceedings
Language: English
Published by Springer-Verlag New York Inc, 2007
ISBN 10: 3540730656 ISBN 13: 9783540730651
Paperback. Condition: Brand New. 1st edition. 379 pages. 9.10x6.10x1.00 inches. In Stock.
-
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing, FATES 2005, held in Edinburgh, UK, in July 2005 in conjunction with CAV 2005. The book presents 13 revised full papers together with 1 work-in-progress paper. These address formal approaches to testing and use techniques from areas like theorem proving, model checking, constraint resolution, program analysis, abstract interpretation, Markov chains, and various others.
-
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - IFM 2000, the second in a series of international conferences on Integrated F- mal Methods, was held at the 18th-century chateau ^ of Schloss Dagstuhl, Sa- land, Germany, from the 1st to the 3rd of November 2000. The conference programme consisted of invited talks from Sir Tony Hoare FRS and Wolfram Schulte, along with 22 papers selected from 58 submissions. Applying formal methods may involve the modelling of di erent aspects of a system that are expressed through di erent paradigms. This motivates us to research the combination of di erent viewpoints of a system, either by the creation of hybrid notations, by extending existing notations, by translating between notations, or by incorporating a wider perspective with the innovative use of an existing notation. The integration of formal methods promises great bene ts to systems - delling and software development. Regardless of the approach taken, however, signi cant issues can arise in areas such as semantic integration, the tracta- lity of our notations, the integration of tool support, the integration of proof systems, consistency, and completeness. Issues arise equally in our conceptua- sation of systems at di erent levels of abstraction and the development of these conceptualisations through the process of re nement.
-
Taschenbuch. Condition: Neu. Testing of Software and Communicating Systems | 19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallin, Estonia, June 26-29, 2007, Proceedings | Margus Veanes (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2007 | Springer | EAN 9783540730651 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
-
Taschenbuch. Condition: Neu. Formal Approaches to Software Testing | 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers | Wolfgang Grieskamp (u. a.) | Taschenbuch | xii | Englisch | 2006 | Springer | EAN 9783540344544 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Taschenbuch. Condition: Neu. Integrated Formal Methods | Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings | Wolfgang Grieskamp (u. a.) | Taschenbuch | x | Englisch | 2000 | Springer | EAN 9783540411963 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Testing of Software and Communicating Systems : 19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallin, Estonia, June 26-29, 2007, Proceedings
Language: English
Published by Springer, Berlin, Springer, 2007
ISBN 10: 3540730656 ISBN 13: 9783540730651
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2007, and the 7th International Workshop on Formal Approaches to Testing of Software, FATES 2007, held in Tallinn, Estonia. It covers all current issues in testing communicating systems and formal approaches in testing of software, from classical telecommunication issues to general software testing.
-
Formal Approaches to Software Testing
Language: English
Published by Springer Berlin Heidelberg Mai 2006, 2006
ISBN 10: 3540344543 ISBN 13: 9783540344544
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing, FATES 2005, held in Edinburgh, UK, in July 2005 in conjunction with CAV 2005. The book presents 13 revised full papers together with 1 work-in-progress paper. These address formal approaches to testing and use techniques from areas like theorem proving, model checking, constraint resolution, program analysis, abstract interpretation, Markov chains, and various others. 236 pp. Englisch.
-
Testing of Software and Communicating Systems
Language: English
Published by Springer, Berlin, Springer Berlin Heidelberg, Springer, 2007
ISBN 10: 3540730656 ISBN 13: 9783540730651
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2007, and the 7th International Workshop on Formal Approaches to Testing of Software, FATES 2007, held in Tallinn, Estonia. It covers all current issues in testing communicating systems and formal approaches in testing of software, from classical telecommunication issues to general software testing. 386 pp. Englisch.
-
Condition: New. Print on Demand pp. 398 Illus.
-
Condition: New. PRINT ON DEMAND pp. 398.
