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
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 € GLS courier 4.99 €
phone Contact phoneHow to shop

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 308 b
125.99 € VAT included
In stock at our supplier Shipping in 10-18 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Puzzle SuperColor 180 Dragon Ball / Game/Toy Jigsaw puzzle
common.buy 9.19 €
Westland Sea Lynx Ulf Kaack / Book Hardback
common.buy 39.90 €
Odontologie médico-légale - Son rôle dans l'odontologie conservatrice et l'endodontie Pardeep Mahajan / Book Paperback
common.buy 46.59 €
Südtirol - Traumhafte Berge und Seen im Norden Italiens (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo / Calendar/Diary Calendar
common.buy 33.99 €
Winnenden und wir alle Peter Behncke / Book Paperback
common.buy 8.90 €
Storia Della Monarchia Piemontese V6 (1869) Ercole Ricotti / Book Paperback
common.buy 35.79 €
Prinsessan av Bandalore Frans Oskar W?gman / Book Hardback
common.buy 20.79 €
Queen Of Hearts King Company / Audio Audio CD
common.buy 19.39 €
Top
Also sprach Zarathustra Friedrich Nietzsche / Book Hardback
common.buy 8.00 €
Top
Vzpomínka na Zemi Liou Cch´-Sin / Book Paperback
common.buy 9.29 €
Ratio versus Profit Walter Ponner / Book Paperback
common.buy 7.99 €
Administración de unidades informáticas : concepto e historia Carmen Díez Carrera / Book Paperback
common.buy 23.29 €
Aire Sylvia Coll Masfarré / Book Paperback
common.buy 17.39 €
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 85.69 €
Geschichte der deutschen Literatur Band III/1 Viktor Zmegac / Book Paperback
common.buy 59.95 €
Les faux-monnayeurs Andre Gide / Book Paperback
common.buy 11.09 €

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 29.39 €
Top
Menander I Soter 163-130 Bce.: The Bactrian Greek King - Emperor of India Tony Malliaras / Book Paperback
common.buy 29.49 €
Eleven Poems about Football Various Authors / Book Paperback
common.buy 7.99 €
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 35.79 €
Ketchup with the Jessup's: : A Sister's Love Carissa Bryant / Book Paperback
common.buy 15.39 €
The Soldier of Indiana in the War for the Union. Volume 2 of 2 Catherine Merrill / Book Paperback
common.buy 37.69 €
Dear God ...: Letters from the Nursing Home Mary-Ellen Low / Book Paperback
common.buy 9.19 €
Civil Disobedience Henry David Thoreau / Book Hardback
common.buy 16.99 €
Sinclair Lewis and American Democracy Steven Michels / Book Hardback
common.buy 133.69 €
Barron's AP Spanish Language and Culture with MP3 CD & CD-ROM Daniel Paolicchi M. a. / Book Paperback
common.buy 27.29 €
Complete & Independent Guide to the Eurovision Song Contest 2016 Simon Barclay / Book Paperback
common.buy 28.69 €
Top
Theory of Games and Statistical Decisions David Harold 1919- Blackwell / Book Paperback
common.buy 25.89 €
Coming soon
Necropath Eric Brown / Book Paperback
common.buy 8.69 €
Automobile Marketing Anders Parment / Book Paperback
common.buy 85.09 €
Persistent Organic Pollutants and Toxic Metals in Foods Martin Rose / Book Hardback
common.buy 232.69 €
Bureaucracy, the Marshall Plan, and the National Interest Hadley Arkes / Book Paperback
common.buy 89.89 €
Really Easy Piano ALBUM / Book Paperback
common.buy 14.09 €
Catalogue of Turkish Manuscripts in the Bodleian Library Gunay Kut / Book Hardback
common.buy 122.69 €
B Sea Jack Lagan / Book Paperback
common.buy 24.69 €
Teacher Evaluation in Second Language Education Amanda Howard / Book Hardback
common.buy 215.89 €
Coming soon
Funerals, Festivals and Cultural Politics in Porfirian Mexico Matthew D Esposito / Book Paperback
common.buy 31.09 €
St James Infirmary Nick Enright / Book Paperback
common.buy 19.09 €
Kaukauna Gavin Schmitt / Book Paperback
common.buy 21.89 €
Applicability of Environmental Information Systems Felichesmi Selestine Lyakurwa / Book Paperback
common.buy 51.99 €

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?