Code: 21332610
Formal Methods in Computer Science
by Wang, Jiacun (Monmouth University, West Long Branch, New Jersey, USA), Tepfenhart, William (Monmouth University, West Long Branch, New Jersey, USA)
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 ... more
- Language:
English - Binding: Paperback
- Number of pages: 294
Publisher: Taylor & Francis Inc, 2019
- More about this
You might also like
-
Vzpomínka na Zemi
8.49 € -17 % -
Theory of Games and Statistical Decisions
23.76 € -2 % -
Also sprach Zarathustra
6.97 € -13 % -
Menander I Soter 163-130 Bce.: The Bactrian Greek King - Emperor of India
26.90 € -7 % -
Really Easy Piano
13.44 € -14 % -
Typhoon and Other Stories
18.70 € -28 % -
Les faux-monnayeurs
10.41 € -30 % -
Necropath
8.28 € -9 % -
Puzzle SuperColor 180 Dragon Ball
8.18 € -20 % -
Westland Sea Lynx
33.57 € -16 % -
Learn Japanese for Lower Beginner level 3
27 € -2 % -
Ratio versus Profit
7.37 € -8 % -
Geschichte der deutschen Literatur Band III/1
53.40 € -11 % -
Ecclesiastes and Song of Solomon
11.32 € -25 % -
Civil Disobedience
15.57 € -1 % -
Dear God ...: Letters from the Nursing Home
8.39 € -6 % -
Funerals, Festivals and Cultural Politics in Porfirian Mexico
29.83 € -5 % -
Aire
16.68 € -9 % -
Barron's AP Spanish Language and Culture with MP3 CD & CD-ROM
26.09 € -9 % -
Prinsessan av Bandalore
19.41 € -
Automobile Marketing
78.08 € -2 % -
Complete & Independent Guide to the Eurovision Song Contest 2016
26.39 € -1 % -
Eleven Poems about Football
7.68 € -24 % -
Odontologie médico-légale - Son rôle dans l'odontologie conservatrice et l'endodontie
44.50 € -14 % -
Administración de unidades informáticas : concepto e historia
22.55 € -
Akten des XII. Internationalen Germanistenkongresses Warschau 2010- Vielheit und Einheit der Germanistik weltweit; Politische Romantik im 19. und 20.
77.98 € -10 % -
Persistent Organic Pollutants and Toxic Metals in Foods
226.18 € -9 % -
Kaukauna
19.61 € -21 % -
The Soldier of Indiana in the War for the Union. Volume 2 of 2
34.59 € -2 % -
Sinclair Lewis and American Democracy
129.37 € -
Winnenden und wir alle
8.18 € -9 % -
History of the Castle, Town, and Forest of Knaresborough, With Harrogate, and its Medicinal Waters. ... The Fourth Edition. By E. Hargrove
32.77 € -2 % -
Storia Della Monarchia Piemontese V6 (1869)
32.77 € -2 % -
Südtirol - Traumhafte Berge und Seen im Norden Italiens (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender
30.03 € -12 % -
B Sea
23.76 € -
Applicability of Environmental Information Systems
49.96 € -4 % -
Queen Of Hearts
18.70 € -
Bureaucracy, the Marshall Plan, and the National Interest
83.55 € -
Teacher Evaluation in Second Language Education
198.46 € -
St James Infirmary
17.49 € -2 % -
Ketchup with the Jessup's: : A Sister's Love
14.05 € -7 % -
Observations Upon the Growth and Culture of Vines and Olives
18.20 € -2 %
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Formal Methods in Computer Science
You get 283 loyalty points
Book synopsis
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
Book details
116.83 €
- Full title: 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: Paperback
- Number of pages: 294
- EAN: 9781498775328
- ISBN: 1498775322
- ID: 21332610
- Publisher: Taylor & Francis Inc
- Weight: 470 g
- Dimensions: 156 × 231 × 24 mm
- Date of publishing: 03. July 2019
Trending among others
-
Moonwalk
13.95 € -18 % -
The Score
13.65 € -13 % -
The Deal
12.23 € -22 % -
The Mistake
13.44 € -15 % -
Jujutsu Kaisen, Vol. 30
9.90 € -20 % -
Berserk Deluxe Volume 1
35.70 € -25 % -
The Goal
14.56 € -
Berserk Deluxe Volume 2
33.17 € -31 % -
Invincible Compendium Volume 2
45.81 € -24 % -
Dancing The Dream
19.92 € -31 % -
Legacy
11.93 € -22 % -
Berserk Deluxe Volume 3
55.22 € -
Lord of Mysteries, Vol. 3: The Clown, Part III
17.09 € -13 % -
Murdoku
14.05 € -28 % -
White Nights
4.54 € -
Chainsaw Man, Vol. 21
7.68 € -30 % -
Witch Hat Atelier Manga Box Set 1
55.83 € -29 % -
Jujutsu Kaisen, Vol. 29
9.70 € -25 % -
Jujutsu Kaisen, Vol. 25
9.70 € -25 % -
Invincible Compendium Volume 3
46.42 € -23 % -
Witch Hat Atelier: Grimoire Edition 1
35.29 € -29 % -
JoJo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 7
18.10 € -25 % -
Berserk Deluxe Volume 5
54.92 € -
Jujutsu Kaisen, Vol. 26
9.70 € -25 % -
Heated Rivalry
12.43 € -8 % -
Lord of Mysteries, Vol. 1: The Clown, Part I
15.37 € -22 % -
Jujutsu Kaisen, Vol. 2
9.90 € -20 % -
Moonwalk: A Memoir
21.74 € -29 % -
Jujutsu Kaisen, Vol. 1
13.34 € -
Veil Volume 1
11.62 € -27 % -
Berserk Deluxe Volume 4
43.59 € -17 % -
Jujutsu Kaisen, Vol. 28
9.70 € -25 % -
Yesteryear
16.38 € -23 % -
Restitution
9.80 € -27 % -
Invincible Compendium Volume 1
48.24 € -22 % -
The Courage To Be Disliked
10.61 € -14 % -
The Long Game
12.23 € -10 % -
Witch Hat Atelier: Grimoire Edition 2
34.69 € -30 % -
Murdoku
14.86 € -27 % -
Berserk Deluxe Volume 6
54.72 € -
Jujutsu Kaisen, Vol. 3
9.30 € -28 % -
The Ballad of Falling Dragons
14.05 € -14 % -
Jojo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 1
18.91 € -22 % -
The Deal
14.66 € -22 % -
Voracious
11.32 € -16 % -
Jojo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 2
18.30 € -24 % -
The Summer Hikaru Died, Vol. 7
11.93 € -21 % -
Lord of Mysteries, Vol. 2: The Clown, Part II
19.31 € -2 % -
Atomic Habits
15.77 € -23 %
Shopping guide
Books by language
Collection points Bratislava a 12892 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25788 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)