Order Total (1 Item Items):
Shipping Destination:
Formal Methods Computer Science by Wang Jiacun (30 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (30)
- 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
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (12)
- Not Print on Demand (22)
Language (1)
Price
- Any Price
- Under US$ 25 (No further results match this refinement)
- US$ 25 to US$ 50 (No further results match this refinement)
- Over US$ 50
Free Shipping
Seller Location
Seller Rating
-
Formal Methods in Computer Science
Published by Chapman and Hall/CRC, 2019
ISBN 10: 1498775322 ISBN 13: 9781498775328
Language: English
US$ 106.62
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Formal Methods In Computer Science
Published by Chapman and Hall/CRC, 2019
ISBN 10: 1498775322 ISBN 13: 9781498775328
Language: English
US$ 114.97
Convert currencyUS$ 8.79 shipping from United Kingdom to U.S.A.Quantity: 3 available
Add to basketCondition: New.
-
Formal Methods in Computer Science
Published by Chapman and Hall/CRC, 2019
ISBN 10: 1498775322 ISBN 13: 9781498775328
Language: English
US$ 121.11
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Formal Methods In Computer Science
Published by Chapman and Hall/CRC, 2019
ISBN 10: 1498775322 ISBN 13: 9781498775328
Language: English
Condition: New.
-
Formal Methods in Computer Science
Published by Chapman and Hall/CRC, 2019
ISBN 10: 1498775322 ISBN 13: 9781498775328
Language: English
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 112.22
Convert currencyUS$ 20.29 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Formal Methods in Computer Science
Published by Taylor & Francis Inc, 2019
ISBN 10: 1498775322 ISBN 13: 9781498775328
Language: English
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
US$ 119.54
Convert currencyUS$ 15.63 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback / softback. Condition: New. New copy - Usually dispatched within 4 working days. 480.
-
Formal Methods in Computer Science
Published by Chapman and Hall/CRC, 2019
ISBN 10: 1498775322 ISBN 13: 9781498775328
Language: English
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 119.52
Convert currencyUS$ 20.29 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Formal Methods In Computer Science
Published by Chapman and Hall/CRC, 2019
ISBN 10: 1498775322 ISBN 13: 9781498775328
Language: English
US$ 139.05
Convert currencyUS$ 11.31 shipping from Germany to U.S.A.Quantity: 3 available
Add to basketCondition: New.
-
Formal Methods in Computer Science
Published by Taylor & Francis Ltd (Sales) Jul 2019, 2019
ISBN 10: 1498775322 ISBN 13: 9781498775328
Language: English
US$ 137.97
Convert currencyUS$ 34.40 shipping from Germany to U.S.A.Quantity: 2 available
Add to basketTaschenbuch. Condition: Neu. Neuware - This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.
-
Formal Methods in Computer Science (Textbooks in Mathematics)
Published by Chapman and Hall/CRC 2019-07-08, 2019
ISBN 10: 0367225700 ISBN 13: 9780367225704
Language: English
US$ 184.69
Convert currencyUS$ 20.96 shipping from United Kingdom to U.S.A.Quantity: 5 available
Add to basketHardcover. Condition: New.
-
US$ 165.36
Convert currencyUS$ 33.82 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: New. New. book.
-
Formal Methods in Computer Science
Published by Chapman and Hall/CRC, 2019
ISBN 10: 0367225700 ISBN 13: 9780367225704
Language: English
Condition: New.
-
Formal Methods in Computer Science
Published by Chapman and Hall/CRC, 2019
ISBN 10: 0367225700 ISBN 13: 9780367225704
Language: English
Condition: As New. Unread book in perfect condition.
-
Formal Methods in Computer Science (Textbooks in Mathematics)
Published by Chapman and Hall/CRC, 2019
ISBN 10: 0367225700 ISBN 13: 9780367225704
Language: English
US$ 241.11
Convert currencyUS$ 8.79 shipping from United Kingdom to U.S.A.Quantity: 3 available
Add to basketCondition: New.
-
Formal Methods in Computer Science
Published by Chapman and Hall/CRC, 2019
ISBN 10: 0367225700 ISBN 13: 9780367225704
Language: English
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 236.85
Convert currencyUS$ 20.29 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Formal Methods in Computer Science (Textbooks in Mathematics)
Published by Chapman and Hall/CRC, 2019
ISBN 10: 0367225700 ISBN 13: 9780367225704
Language: English
Condition: New.
-
Formal Methods in Computer Science (Textbooks in Mathematics)
Published by Chapman and Hall/CRC, 2019
ISBN 10: 0367225700 ISBN 13: 9780367225704
Language: English
Condition: New.
-
Formal Methods in Computer Science
Published by Chapman and Hall/CRC, 2019
ISBN 10: 0367225700 ISBN 13: 9780367225704
Language: English
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 251.72
Convert currencyUS$ 20.29 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: New.
-
Formal Methods in Computer Science (Textbooks in Mathematics)
Published by Chapman and Hall/CRC, 2019
ISBN 10: 0367225700 ISBN 13: 9780367225704
Language: English
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 274.61
Convert currencyUS$ 16.21 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Formal Methods in Computer Science
Published by Taylor & Francis Ltd, 2019
ISBN 10: 0367225700 ISBN 13: 9780367225704
Language: English
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
US$ 280.18
Convert currencyUS$ 11.63 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketHardback. Condition: New. New copy - Usually dispatched within 4 working days. 185.
-
Formal Methods in Computer Science (Textbooks in Mathematics)
Published by Chapman and Hall/CRC, 2019
ISBN 10: 0367225700 ISBN 13: 9780367225704
Language: English
US$ 287.28
Convert currencyUS$ 11.31 shipping from Germany to U.S.A.Quantity: 3 available
Add to basketCondition: New.
-
US$ 352.45
Convert currencyUS$ 13.53 shipping from United Kingdom to U.S.A.Quantity: 2 available
Add to basketHardcover. Condition: Brand New. 294 pages. 9.25x6.25x0.75 inches. In Stock.
-
Formal Methods in Computer Science
Published by Taylor & Francis Inc, 2019
ISBN 10: 1498775322 ISBN 13: 9781498775328
Language: English
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
US$ 119.55
Convert currencyUS$ 15.90 shipping from United Kingdom to U.S.A.Quantity: 5 available
Add to basketPaperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
-
US$ 125.45
Convert currencyUS$ 13.53 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Brand New. reprint edition. 294 pages. 9.25x6.25x0.75 inches. In Stock. This item is printed on demand.
-
US$ 103.58
Convert currencyUS$ 55.70 shipping from Germany to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Jiacun Wang received a PhD in computer engineering from Nanjing University of Science and Technology, China. He is a professor of Software Engineering at Monmouth University. He was previously with Nortel Networks and was a research asso.
-
US$ 215.99
Convert currencyUS$ 55.70 shipping from Germany to U.S.A.Quantity: Over 20 available
Add to basketGebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Jiacun Wang received a PhD in computer engineering from Nanjing University of Science and Technology, China. He is a professor of Software Engineering at Monmouth University. He was previously with Nortel Networks and was a research asso.
-
HRD. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Formal Methods in Computer Science
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
US$ 276.73
Convert currencyUS$ 6.79 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketHRD. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
US$ 270.63
Convert currencyUS$ 13.53 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Brand New. 294 pages. 9.25x6.25x0.75 inches. In Stock. This item is printed on demand.
-
Formal Methods in Computer Science
Published by Chapman And Hall/CRC, 2019
ISBN 10: 0367225700 ISBN 13: 9780367225704
Language: English
US$ 283.21
Convert currencyUS$ 35.45 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketBuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Formal Methods in Computer Science gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logic, a powerful formal language in specifying systems properties. It covers propositional logic, predicate logic, temporal logic, and model checking. The third part presents Petri nets, the most popular formal language in system behavior modeling. In additional to regular Petri nets, this part also examines timed Petri nets and high-level Petri nets.The textbook is ideal for undergraduate or graduate courses in computer engineering, software engineering, computer science, and information technology programs. Parts of the book are useful reading material in undergraduate computer course and as a reference guide for students researching the area of formal system specification and validation.Features\* Introduces a comprehensive, yet manageable set of formal techniques for computer science students\* Stresses real-world application value of each formal technique\* Offers a good set of exercises which help students better understand the presented techniques\* Also offers a prepared source code for downloading and non-commercial use.
