Order Total (1 Item Items):
Shipping Destination:
Liu Shaoying (311 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (311)
- 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 (269)
- As New, Fine or Near Fine (33)
- Very Good or Good (4)
- Fair or Poor (No further results match this refinement)
- As Described (5)
Collectible Attributes
- First Edition (12)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (107)
- Not Print on Demand (238)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
First International Conference on Formal Engineering Methods, Hiroshima, Japan, November 12 - 14, 1997. ICFEM '97.
Published by IEEE Computer Society Press, 1997, XI + 328 PP., 1997
ISBN 10: 0818680024 ISBN 13: 9780818680021
Language: English
Soft Cover. Condition: Very Good. Ex-library; minor shelfwear; o/w in very good condition.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Condition: 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.
-
Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
-
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
US$ 41.20
Convert currencyFree shipping from Australia to U.S.A.Quantity: 3 available
Add to basketBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Condition: New. pp. 436.
-
US$ 39.12
Convert currencyUS$ 8.74 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: New. pp. 436 Illus.
-
US$ 42.61
Convert currencyUS$ 11.64 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketCondition: New. pp. 436.
-
US$ 50.08
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Structured Object-Oriented Formal Language and Method (Paperback)
Published by Springer International Publishing AG, Cham, 2015
ISBN 10: 3319174037 ISBN 13: 9783319174037
Language: English
Paperback. Condition: new. Paperback. This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections on testing and inspection; model checking and animation; education and verification; and semantics and analysis. This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
US$ 48.82
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Condition: 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.
-
US$ 52.43
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Formal Engineering for Industrial Software Development
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
US$ 42.35
Convert currencyUS$ 14.31 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
-
Condition: New.
-
Structured Object-Oriented Formal Language and Method (Paperback)
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2013
ISBN 10: 3642392768 ISBN 13: 9783642392764
Language: English
Paperback. Condition: new. Paperback. This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. The 10 full papers presented were carefully reviewed and selected for inclusion in this book and address the following topics of interest: testing and tools; tools for specification; model checking; and application and prototyping. This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
US$ 53.99
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 55.51
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
US$ 59.71
Convert currencyFree shipping from Australia to U.S.A.Quantity: 1 available
Add to basketBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Condition: new.
-
Condition: New.
-
Structured Object-Oriented Formal Language and Method (Paperback)
Published by Springer International Publishing AG, Cham, 2018
ISBN 10: 3319901036 ISBN 13: 9783319901039
Language: English
Paperback. Condition: new. Paperback. This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xian, China, in November 2017.The 13 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: animation and prototyping; graph theory; model checking; modeling and specification; and verification and validation. This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xian, China, in November 2017.The 13 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. model checking; Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
US$ 60.40
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 60.42
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Structured Object-Oriented Formal Language and Method (Paperback)
Published by Springer Nature Switzerland AG, Cham, 2021
ISBN 10: 3030774732 ISBN 13: 9783030774738
Language: English
First Edition
Paperback. Condition: new. Paperback. This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021. The 13 revised full papers included in the volume were carefully reviewed and selected from 24 submissions. They are organized in the following topical sections: modeling and specification; model checking; specification and verification; and testing and formal verification.Due to the Corona pandemic this event was held virtually. This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021. The 13 revised full papers included in the volume were carefully reviewed and selected from 24 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Structured Object-Oriented Formal Language and Method (Paperback)
Published by Springer Nature Switzerland AG, Cham, 2019
ISBN 10: 3030136507 ISBN 13: 9783030136505
Language: English
Paperback. Condition: new. Paperback. This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018.The 11 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: programming and testing; verification and validation; semantics; and blockchain. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
US$ 60.50
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Condition: New.
-
US$ 59.16
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
