Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Formal Methods in Computer Science

Language EnglishEnglish
Book Paperback
Book Formal Methods in Computer Science Wang
Libristo code: 21332610
Publishers Taylor & Francis Inc, July 2019
Formal Methods in Computer Science gives students a comprehensive introduction to formal methods and...
? points 296 b
122.42 €
In stock at our supplier Shipping in 10-18 days

Up to 30 days for returns

Customers also purchased

Puzzle SuperColor 180 Dragon Ball / Game/Toy Jigsaw puzzle
common.buy 5.16 €
Westland Sea Lynx Ulf Kaack / Book Hardback
common.buy 38.40 €
Odontologie médico-légale - Son rôle dans l'odontologie conservatrice et l'endodontie Pardeep Mahajan / Book Paperback
common.buy 50.97 €
Südtirol - Traumhafte Berge und Seen im Norden Italiens (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo / Calendar/Diary Calendar
common.buy 34.45 €
Winnenden und wir alle Peter Behncke / Book Paperback
common.buy 15.29 €
Storia Della Monarchia Piemontese V6 (1869) Ercole Ricotti / Book Paperback
common.buy 28.47 €
Prinsessan av Bandalore Frans Oskar W?gman / Book Hardback
common.buy 20.26 €
Top
Also sprach Zarathustra Friedrich Nietzsche / Book Hardback
common.buy 6.98 €
Vzpomínka na Zemi Liou Cch´-Sin / Book Paperback
common.buy 8.91 €
Ratio versus Profit Walter Ponner / Book Paperback
common.buy 13.57 €
Administración de unidades informáticas : concepto e historia Carmen Díez Carrera / Book Paperback
common.buy 22.59 €
Aire Sylvia Coll Masfarré / Book Paperback
common.buy 16.71 €
Akten des XII. Internationalen Germanistenkongresses Warschau 2010- Vielheit und Einheit der Germanistik weltweit; Politische Romantik im 19. und 20. Franciszek Grucza / Book Hardback
common.buy 82.49 €
Geschichte der deutschen Literatur Band III/1 Viktor Zmegac / Book Paperback
common.buy 53.50 €
Les faux-monnayeurs Andre Gide / Book Paperback
common.buy 13.16 €

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 fund

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Formal Methods in Computer Science
Author Wang, Jiacun (Monmouth University, West Long Branch, New Jersey, USA), Tepfenhart, William (Monmouth University, West Long Branch, New Jersey, USA)
Language English
Binding Book - Paperback
Date of issue 2019
Number of pages 294
EAN 9781498775328
ISBN 1498775322
Libristo code 21332610
Publishers Taylor & Francis Inc
Weight 470
Dimensions 231 x 156 x 24

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Set theory
Computing & Information Technology > Information technology: general issues
Computing & Information Technology > Computer science
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Learn Japanese for Lower Beginner level 3 Mohd Mursalin Sa'ad / Book Paperback
common.buy 28.47 €
Menander I Soter 163-130 Bce.: The Bactrian Greek King - Emperor of India Tony Malliaras / Book Paperback
common.buy 28.37 €
Eleven Poems about Football Various Authors / Book Paperback
common.buy 7.69 €
History of the Castle, Town, and Forest of Knaresborough, With Harrogate, and its Medicinal Waters. ... The Fourth Edition. By E. Hargrove ELY HARGROVE / Book Hardback
common.buy 34.55 €
Ketchup with the Jessup's: : A Sister's Love Carissa Bryant / Book Paperback
common.buy 14.89 €
The Soldier of Indiana in the War for the Union. Volume 2 of 2 Catherine Merrill / Book Paperback
common.buy 36.47 €
Dear God ...: Letters from the Nursing Home Mary-Ellen Low / Book Paperback
common.buy 8.81 €
Civil Disobedience Henry David Thoreau / Book Hardback
common.buy 16.41 €
Sinclair Lewis and American Democracy Steven Michels / Book Hardback
common.buy 129.61 €
Barron's AP Spanish Language and Culture with MP3 CD & CD-ROM Daniel Paolicchi M. a. / Book Paperback
common.buy 26.14 €
Complete & Independent Guide to the Eurovision Song Contest 2016 Simon Barclay / Book Paperback
common.buy 27.76 €
Theory of Games and Statistical Decisions David Harold 1919- Blackwell / Book Paperback
common.buy 25.12 €
Coming soon
Necropath Eric Brown / Book Paperback
common.buy 8.91 €
Automobile Marketing Anders Parment / Book Paperback
common.buy 82.28 €
Persistent Organic Pollutants and Toxic Metals in Foods Martin Rose / Book Hardback
common.buy 166.80 €
Bureaucracy, the Marshall Plan, and the National Interest Hadley Arkes / Book Paperback
common.buy 83.09 €
Top
Really Easy Piano ALBUM / Book Paperback
common.buy 13.47 €
Catalogue of Turkish Manuscripts in the Bodleian Library Gunay Kut / Book Hardback
common.buy 118.56 €
Teacher Evaluation in Second Language Education Amanda Howard / Book Hardback
common.buy 208.76 €
Coming soon
Funerals, Festivals and Cultural Politics in Porfirian Mexico Matthew D Esposito / Book Paperback
common.buy 30.19 €
St James Infirmary Nick Enright / Book Paperback
common.buy 18.43 €
Kaukauna Gavin Schmitt / Book Paperback
common.buy 20.87 €
Applicability of Environmental Information Systems Felichesmi Selestine Lyakurwa / Book Paperback
common.buy 50.05 €
Observations Upon the Growth and Culture of Vines and Olives John Locke / Book Paperback
common.buy 19.25 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?