Order Total (1 Item Items):
Shipping Destination:
Formal Methods Computer Science by Wang Jiacun (30 results)
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 Learn more
- New (26)
- As New, Fine or Near Fine (4)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
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 (14)
- Not Print on Demand (21)
Language (1)
Price
- Any Price
- Under £ 20 (No further results match this refinement)
- £ 20 to £ 40 (No further results match this refinement)
- Over £ 40
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
Condition: 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
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
Condition: New.
-
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
Paperback / softback. Condition: New. New copy - Usually dispatched within 4 working days.
-
Formal Methods in Computer Science
Published by Chapman and Hall/CRC, 2019
ISBN 10: 1498775322 ISBN 13: 9781498775328
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: 1498775322 ISBN 13: 9781498775328
Language: English
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In.
-
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
Condition: As New. Unread book in perfect condition.
-
Paperback. Condition: Brand New. reprint edition. 294 pages. 9.25x6.25x0.75 inches. In Stock.
-
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
Hardcover. 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
Condition: As New. Unread book in perfect condition.
-
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 (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
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
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In.
-
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
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
Hardback. 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
Condition: New.
-
Hardcover. 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
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
-
Kartoniert / Broschiert. 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.
-
Formal Methods in Computer Science
Published by Chapman and Hall/CRC, 2019
ISBN 10: 1498775322 ISBN 13: 9781498775328
Language: English
Taschenbuch. Condition: Neu. Formal Methods in Computer Science | Jiacun Wang | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2019 | Chapman and Hall/CRC | EAN 9781498775328 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.
-
Formal Methods in Computer Science
Published by Chapman And Hall/CRC, 2019
ISBN 10: 1498775322 ISBN 13: 9781498775328
Language: English
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
HRD. 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.
-
HRD. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Gebunden. 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.
-
Formal Methods in Computer Science
Published by Chapman and Hall/CRC, 2019
ISBN 10: 0367225700 ISBN 13: 9780367225704
Language: English
Buch. Condition: Neu. Formal Methods in Computer Science | Jiacun Wang | Buch | Einband - fest (Hardcover) | Englisch | 2019 | Chapman and Hall/CRC | EAN 9780367225704 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.
-
Formal Methods in Computer Science
Published by Chapman And Hall/CRC, 2019
ISBN 10: 0367225700 ISBN 13: 9780367225704
Language: English
Buch. 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.
