Code: 21327156
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: Hardback
- Number of pages: 294
Publisher: Taylor & Francis Ltd, 2019
- More about this
You might also like
-
TOURING AFTER THE APOCALYPSE V04
9.97 € -24 % -
SkinFood
18.03 € -25 % -
Osteopathic Diagnosis and Technique: With Chapters on Osteopathic Landmarks
21.86 € -2 % -
Понедельник начинается в субботу. Сказка о Тройке.
39.80 € -11 % -
Origins of Law and Economics - Essays by the Founding Fathers
74.77 € -5 % -
Die drei ??? Kids Magische Schurken
15.01 € -9 % -
Muscle Car Barn Finds
24.98 € -25 % -
Analysis of Thomas Kuhn's The Structure of Scientific Revolutions
10.37 € -
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.22 € -
Akquisitionsfinanzierungen
49.78 € -3 % -
Jharna - Hindi Poetry: Hindi Poetry
6.74 € -7 % -
Platelet and its Disorders
51.49 € -7 % -
Gadamer and Ricoeur
55.42 € -
Old Scottish Communion Plate (1892)
51.49 € -2 % -
Jelen: To nejlepší - 2 LP
35.16 € -10 % -
Appellations-Instrumenta an die Röm. Keys. ... Mayestat ... der Herren Georgen von Sein ... und Herman Adolffen Gr. zu Solms, von einem Keiserlichen M
29.52 € -5 % -
Essential VCE Business Management Units 1 and 2 Bundle
62.27 € -5 % -
Ecrire Un Memoire. Presenter Une Soutenance
14.20 € -
How to be a Lady in God's Kingdom
14 € -7 % -
Virtual Environments and Cultures
59.45 € -9 % -
World's First Railway System
151.47 €
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 568 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
Book category Books in English Computing & information technology Computer science Mathematical theory of computation
233.70 €
- 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: Hardback
- Number of pages: 294
- EAN: 9780367225704
- ISBN: 0367225700
- ID: 21327156
- Publisher: Taylor & Francis Ltd
- Weight: 740 g
- Dimensions: 234 × 156 mm
- Date of publishing: 25. June 2019
Trending among others
-
Art of Computer Programming, The
69.33 € -7 % -
Concrete Mathematics
77.89 € -6 % -
Type Theory and Formal Proof
94.73 € -
P, NP, and NP-Completeness
147.43 € -
Array Signal Processing
84.95 € -
Foundation Mathematics for Computer Science
70.34 € -9 % -
Statistics for Data Scientists
55.62 € -
Exploring RANDOMNESS
108.94 € -
Art of Computer Programming, Volume 2
69.33 € -7 % -
Graph Theory
63.18 € -
Cryptanalysis
14.40 € -24 % -
Advanced R Statistical Programming and Data Models
55.92 € -25 % -
Graph Theory
85.05 € -
Linear Algebra for Data Science, Machine Learning, and Signal Processing
65.30 € -
Fundamentals of Quantum Computing
70.34 € -9 % -
Art of Computer Programming, Volume 1, Fascicle 1, The
27.50 € -11 % -
Numerical Recipes Source Code CD-ROM 3rd Edition
138.87 € -
More Math Into LaTeX
88.78 € -
Boolean Algebras, 1
51.49 € -7 % -
Data Structures and Network Algorithms
68.62 € -4 % -
MATLAB Demystified
19.54 € -25 % -
Basic Category Theory for Computer Scientists
34.86 € -
Essential Linear Algebra with Applications
50.99 € -42 % -
Modal Logic
120.12 € -
First Course in Statistical Programming with R
48.47 € -
GIS Algorithms
122.14 € -10 % -
Introduction to Formal Language Theory
51.49 € -7 % -
A Study of Braids
51.49 € -7 % -
Deep Learning in Natural Language Processing
172.13 € -
What Can Be Computed?
104.10 € -4 % -
An Introduction to Quantum Computing Algorithms
71.85 € -7 % -
Computational Introduction to Number Theory and Algebra
78.70 € -
Advanced Object-Oriented Programming in R
31.13 € -
Discrete Mathematics for Computing
85.96 € -14 % -
Numerical Validation in Current Hardware Architectures
51.49 € -7 % -
Temporal Logics in Computer Science
160.94 € -
Algorithms on Trees and Graphs
65.30 € -9 % -
Pi-Calculus
85.25 € -
Practical Introduction to Denotational Semantics
43.43 € -
Programs, Recursion and Unbounded Choice
59.85 € -
Logic in Computer Science
72.96 € -
Introduction to Automata Theory, Languages, and Computation
260.71 € -
Algorithmic Beauty of Plants
75.78 € -25 % -
Guide to Scientific Computing in C++
34.96 € -
Computers and Intractability
165.68 € -
Practical Optimization
90.39 € -9 % -
Introduction to the Theory of Computation
249.53 € -
Automata Theory and Formal Languages
60.36 € -9 % -
Category Theory Using Haskell
200.45 € -9 %
Shopping guide
Books by language
Collection points Bratislava a 12772 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25548 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)