Kód: 21332610
Formal Methods in Computer Science
Autor 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 ... celý popis
- Jazyk:
Angličtina - Vazba: Brožovaná
- Počet stran: 294
Nakladatelství: Taylor & Francis Inc, 2019
- Více informací o knize
Mohlo by se vám také líbit
-
Really Easy Piano
305 Kč -
Vzpomínka na Zemi
377 Kč -
Also sprach Zarathustra
159 Kč -
Typhoon and Other Stories
432 Kč -
Les faux-monnayeurs
289 Kč -
Menander I Soter 163-130 Bce.: The Bactrian Greek King - Emperor of India
632 Kč -
Theory of Games and Statistical Decisions
643 Kč -
Puzzle SuperColor 180 Dragon Ball
237 Kč -
Westland Sea Lynx
761 Kč -
Necropath
189 Kč -
Geschichte der deutschen Literatur Band III/1
1217 Kč -
Learn Japanese for Lower Beginner level 3
654 Kč -
Ratio versus Profit
169 Kč -
Ecclesiastes and Song of Solomon
282 Kč -
Civil Disobedience
385 Kč -
Branded As Trouble
360 Kč -
Akten des XII. Internationalen Germanistenkongresses Warschau 2010- Vielheit und Einheit der Germanistik weltweit; Politische Romantik im 19. und 20.
1744 Kč -
Barron's AP Spanish Language and Culture with MP3 CD & CD-ROM
597 Kč -
![Lord Lynn's Wife. [A Novel. by J. B. Harwood.]](https://media.libris.to/jacket/07983064t.jpg "Lord Lynn's Wife. [A Novel. by J. B. Harwood.]")
Lord Lynn's Wife. [A Novel. by J. B. Harwood.]
504 Kč -
Odontologie médico-légale - Son rôle dans l'odontologie conservatrice et l'endodontie
1014 Kč -
Persistent Organic Pollutants and Toxic Metals in Foods
5277 Kč -
Kaukauna
485 Kč -
Dear God ...: Letters from the Nursing Home
202 Kč -
Winnenden und wir alle
185 Kč -
Bureaucracy, the Marshall Plan, and the National Interest
2022 Kč -
Anti Anxiety Relief: Easy Ways To Leverage Stress
248 Kč -
Farm Animals Pack A of 5
1015 Kč -
Welding Deformation and Residual Stress Prevention
5283 Kč -
Greetings from Cleveland, Ohio
545 Kč -
Eres bonita
186 Kč -
Eleven Poems about Football
172 Kč -
Queen Of Hearts
432 Kč -
Coast Guard Polar Icebreaker Modernization: Background and Issues for Congress
362 Kč -
Applicability of Environmental Information Systems
1203 Kč -
Funerals, Festivals and Cultural Politics in Porfirian Mexico
719 Kč -
Teacher Evaluation in Second Language Education
4562 Kč -
Administración de unidades informáticas : concepto e historia
542 Kč -
The Soldier of Indiana in the War for the Union. Volume 2 of 2
837 Kč -
Aire
382 Kč -
Prinsessan av Bandalore
469 Kč -
Melancholy
354 Kč -
Automobile Marketing
1811 Kč -
Trust in Military Leadership: How Trust in Army Leadership impacts mid career officers intent to leave the military service or to remain.
362 Kč -
B Sea
547 Kč -
Observations Upon the Growth and Culture of Vines and Olives
441 Kč -
Catalogue of Turkish Manuscripts in the Bodleian Library
2877 Kč -
History of the Castle, Town, and Forest of Knaresborough, With Harrogate, and its Medicinal Waters. ... The Fourth Edition. By E. Hargrove
794 Kč -
Complete & Independent Guide to the Eurovision Song Contest 2016
638 Kč -
Peter's Journal Of The First Presidential Count And Washington's Inauguration Showing How Vice-president Adams Got Ahead In The Ceremony
619 Kč
Dárkový poukaz: Radost zaručena
- Darujte poukaz v libovolné hodnotě a my se postaráme o zbytek.
- Poukaz se vztahuje na celou naši nabídku.
- Elektronický poukaz vytisknete z e-mailu a můžete ihned darovat.
- Platnost poukazu je 12 měsíců od data vystavení.
Více informací o knize Formal Methods in Computer Science
Nákupem získáte 288 bodů
Anotace knihy
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
Parametry knihy
2882 Kč
- Plný název: Formal Methods in Computer Science
- Autor: Wang, Jiacun (Monmouth University, West Long Branch, New Jersey, USA), Tepfenhart, William (Monmouth University, West Long Branch, New Jersey, USA)
- Jazyk: Angličtina
- Vazba: Brožovaná
- Počet stran: 294
- EAN: 9781498775328
- ISBN: 1498775322
- ID: 21332610
- Nakladatelství: Taylor & Francis Inc
- Hmotnost: 470 g
- Rozměry: 156 × 231 × 24 mm
- Datum vydání: 03. July 2019
Oblíbené z jiného soudku
-
Threshing Day (Limited Deluxe Edition)
472 Kč -
Murdoku
342 Kč -
The Mirror of Infinite Endings
331 Kč -
The Long-Lived King: An Original The Owl House Graphic Novel
377 Kč -
White Nights
89 Kč -
The Art of Gravity Falls
917 Kč -
Court of Thorns and Roses 6
358 Kč -
21 Days of Fear
406 Kč -
Jojo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 9
438 Kč -
I'll Believe in Anything. The Making of Heated Rivalry Season 1
488 Kč -
Berserk Deluxe Volume 1
900 Kč -
Lord of Mysteries, Vol. 4: The Faceless, Part I
358 Kč -
Trust Fall
226 Kč -
The Mirror of Infinite Endings
475 Kč -
Berserk Deluxe Volume 3
823 Kč -
Fourth Wing
563 Kč -
Protocols
334 Kč -
Penguin Readers Level 4: The Adventures of Sherlock Holmes (ELT Graded Reader)
174 Kč -
Berserk Deluxe Volume 2
965 Kč -
Witch Hat Atelier: Grimoire Edition 1
711 Kč -
Iron Flame
563 Kč -
Witch Hat Atelier: Grimoire Edition 2
837 Kč -
The Count of Monte Cristo
237 Kč -
Murdoku Volume 2: Back in Time
342 Kč -
Protocols
325 Kč -
East of Eden
266 Kč -
Jojo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 8
413 Kč -
Escape Me Deluxe Limited Edition
439 Kč -
The Courage To Be Disliked
206 Kč -
Cozy Countdown: An Advent Coloring Book Bundle
539 Kč -
Jojo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 2
468 Kč -
Once Upon a Broken Heart Collector's Edition
605 Kč -
Absolute Batman Vol. 3
364 Kč -
Kid's Box New Generation Level 2 Activity Book with Digital Pack British English
251 Kč -
What Happened Yesterday
390 Kč -
Berserk Deluxe Volume 4
902 Kč -
Jojo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 1
453 Kč -
Protocols
637 Kč -
Pokémon Deluxe Character Guide
997 Kč -
Fruit Fly
405 Kč -
Berserk Deluxe Volume 5
900 Kč -
Yesteryear
310 Kč -
Dungeon Crawler Carl
246 Kč -
The Emperor's Enemy (Deluxe Limited Edition)
547 Kč -
Restitution
227 Kč -
Kid's Box New Generation Level 1 Activity Book with Digital Pack British English
251 Kč -
How to Win at Chess, Next Level
473 Kč -
JoJo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 7
413 Kč -
Murdle: Volume 1
326 Kč
O tomto obchodě
Nákupní rádce
Přehledy
Knihy podle jazyka
Osobní odběr Praha, Brno a 48550 dalších
Copyright ©2008-26 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Vrácení do měsíce
571 999 099 (8-15.30h)