Kód: 21327156
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 - Väzba: Pevná
- Počet strán: 294
Nakladateľ: Taylor & Francis Ltd, 2019
- Viac informácií o knihe
Mohlo by sa vám tiež páčiť
-
SkinFood
18.12 € -25 % -
Origins of Law and Economics - Essays by the Founding Fathers
75.45 € -5 % -
Gadamer and Ricoeur
55.70 € -
Muscle Car Barn Finds
25.11 € -25 % -
Analysis of Thomas Kuhn's The Structure of Scientific Revolutions
10.42 € -
Die drei ??? Kids Magische Schurken
12.75 € -16 % -
Si el Exito Es un Juego, Estas Son las Reglas: Diez Reglas Para Tener una Vida Plena = If Success Is a Game These Are the Rules
16.30 € -
Akquisitionsfinanzierungen
50.02 € -3 % -
Platelet and its Disorders
51.75 € -7 % -
Old Scottish Communion Plate (1892)
51.75 € -2 % -
Appellations-Instrumenta an die Röm. Keys. ... Mayestat ... der Herren Georgen von Sein ... und Herman Adolffen Gr. zu Solms, von einem Keiserlichen M
29.67 € -5 % -
Essential VCE Business Management Units 1 and 2 Bundle
62.79 € -4 % -
Virtual Environments and Cultures
59.75 € -9 % -
Organisationswandel in Afrika: Kollektive Praxis Und Kulturelle Aneignung
20.15 € -4 %
Darujte túto knihu ešte dnes
- Objednajte knihu a vyberte Zaslať ako darček.
- Obratom obdržíte darovací poukaz na knihu, ktorý môžete ihneď odovzdať obdarovanému.
- Knihu zašleme na adresu obdarovaného, o nič sa nestaráte.
Viac informácií o knihe Formal Methods in Computer Science
Nákupom získate 568 bodov
Anotácia 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
Parametre knihy
Zaradenie knihy Knihy po anglicky Computing & information technology Computer science Mathematical theory of computation
234.86 €
- Celý názov: 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
- Väzba: Pevná
- Počet strán: 294
- EAN: 9780367225704
- ISBN: 0367225700
- ID: 21327156
- Nakladateľ: Taylor & Francis Ltd
- Hmotnosť: 740 g
- Rozmery: 234 × 156 mm
- Dátum vydania: 25. June 2019
Obľúbené z iného súdka
-
Concrete Mathematics
78.28 € -6 % -
Type Theory and Formal Proof
95.20 € -
P, NP, and NP-Completeness
148.17 € -
Foundation Mathematics for Computer Science
70.69 € -9 % -
Graph Theory
60.76 € -
Statistics for Data Scientists
55.90 € -
Exploring RANDOMNESS
109.48 € -
Art of Computer Programming, The
69.67 € -7 % -
Art of Computer Programming, Volume 2
69.67 € -7 % -
Cryptanalysis
14.47 € -24 % -
Advanced R Statistical Programming and Data Models
56.20 € -25 % -
Graph Theory
85.47 € -
Fundamentals of Quantum Computing
70.69 € -9 % -
Linear Algebra for Data Science, Machine Learning, and Signal Processing
65.62 € -
Art of Computer Programming, Volume 1, Fascicle 1, The
28.05 € -9 % -
Numerical Recipes Source Code CD-ROM 3rd Edition
137.23 € -
More Math Into LaTeX
89.22 € -
Boolean Algebras, 1
51.75 € -7 % -
MATLAB Demystified
19.64 € -25 % -
Basic Category Theory for Computer Scientists
35.03 € -
Essential Linear Algebra with Applications
51.24 € -42 % -
First Course in Statistical Programming with R
48.71 € -
Modal Logic
120.72 € -
A Study of Braids
51.75 € -7 % -
Introduction to Formal Language Theory
51.75 € -7 % -
GIS Algorithms
122.85 € -10 % -
Deep Learning in Natural Language Processing
172.98 € -
What Can Be Computed?
104.92 € -5 % -
Advanced Object-Oriented Programming in R
31.29 € -
An Introduction to Quantum Computing Algorithms
72.20 € -7 % -
Computational Introduction to Number Theory and Algebra
79.09 € -
Discrete Mathematics for Computing
86.38 € -14 % -
Algorithms on Trees and Graphs
65.62 € -9 % -
Numerical Validation in Current Hardware Architectures
51.75 € -7 % -
Pi-Calculus
85.68 € -
Temporal Logics in Computer Science
155.97 € -
Practical Introduction to Denotational Semantics
43.64 € -
Programs, Recursion and Unbounded Choice
60.15 € -
Introduction to Automata Theory, Languages, and Computation
262.01 € -
Logic in Computer Science
73.32 € -
Guide to Scientific Computing in C++
35.14 € -
Algorithmic Beauty of Plants
76.15 € -25 % -
Practical Optimization
90.84 € -9 % -
Category Theory Using Haskell
201.44 € -9 % -
Computers and Intractability
207.72 € -
Automata Theory and Formal Languages
60.66 € -9 % -
Algorithms for Next-Generation Sequencing Data
144.22 € -7 % -
P, NP, and NP-Completeness
56.30 € -
Simulating the Brain
75.75 € -9 %
O tomto obchode
Nákupný poradca
Prehľady
Knihy podľa jazyka
Osobný odber Bratislava a 12762 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
24 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)