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 - Vazba: Pevná
- Počet stran: 294
Nakladatelství: Taylor & Francis Ltd, 2019
- Více informací o knize
Mohlo by se vám také líbit
-
SkinFood
380 Kč -
Origins of Law and Economics - Essays by the Founding Fathers
1822 Kč -
Gadamer and Ricoeur
1280 Kč -
Muscle Car Barn Finds
608 Kč -
Analysis of Thomas Kuhn's The Structure of Scientific Revolutions
251 Kč -
Die drei ??? Kids Magische Schurken
290 Kč -
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
374 Kč -
Akquisitionsfinanzierungen
1209 Kč -
Platelet and its Disorders
1182 Kč -
Old Scottish Communion Plate (1892)
1250 Kč -
Appellations-Instrumenta an die Röm. Keys. ... Mayestat ... der Herren Georgen von Sein ... und Herman Adolffen Gr. zu Solms, von einem Keiserlichen M
718 Kč -
Essential VCE Business Management Units 1 and 2 Bundle
1518 Kč -
Virtual Environments and Cultures
1363 Kč -
Organisationswandel in Afrika: Kollektive Praxis Und Kulturelle Aneignung
461 Kč
Darujte tuto knihu ještě dnes
- Objednejte knihu a zvolte Zaslat jako dárek.
- Obratem obdržíte darovací poukaz na knihu, který můžete ihned předat obdarovanému.
- Knihu zašleme na adresu obdarovaného, o nic se nestaráte.
Více informací o knize Formal Methods in Computer Science
Nákupem získáte 568 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
Zařazení knihy Knihy v angličtině Computing & information technology Computer science Mathematical theory of computation
5675 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: Pevná
- Počet stran: 294
- EAN: 9780367225704
- ISBN: 0367225700
- ID: 21327156
- Nakladatelství: Taylor & Francis Ltd
- Hmotnost: 740 g
- Rozměry: 234 × 156 mm
- Datum vydání: 25. June 2019
Oblíbené z jiného soudku
-
Concrete Mathematics
1789 Kč -
Type Theory and Formal Proof
2188 Kč -
P, NP, and NP-Completeness
3581 Kč -
Foundation Mathematics for Computer Science
1614 Kč -
Graph Theory
1468 Kč -
Statistics for Data Scientists
1350 Kč -
Exploring RANDOMNESS
2521 Kč -
Art of Computer Programming, The
1684 Kč -
Art of Computer Programming, Volume 2
1684 Kč -
Cryptanalysis
335 Kč -
Advanced R Statistical Programming and Data Models
1268 Kč -
Graph Theory
2065 Kč -
Fundamentals of Quantum Computing
1614 Kč -
Linear Algebra for Data Science, Machine Learning, and Signal Processing
1587 Kč -
Art of Computer Programming, Volume 1, Fascicle 1, The
632 Kč -
Numerical Recipes Source Code CD-ROM 3rd Edition
3166 Kč -
More Math Into LaTeX
2048 Kč -
Boolean Algebras, 1
1182 Kč -
MATLAB Demystified
475 Kč -
Basic Category Theory for Computer Scientists
807 Kč -
Essential Linear Algebra with Applications
1238 Kč -
First Course in Statistical Programming with R
1178 Kč -
Modal Logic
2918 Kč -
A Study of Braids
1182 Kč -
Introduction to Formal Language Theory
1182 Kč -
GIS Algorithms
2959 Kč -
Deep Learning in Natural Language Processing
3971 Kč -
What Can Be Computed?
2534 Kč -
Advanced Object-Oriented Programming in R
756 Kč -
An Introduction to Quantum Computing Algorithms
1652 Kč -
Computational Introduction to Number Theory and Algebra
1911 Kč -
Discrete Mathematics for Computing
1966 Kč -
Algorithms on Trees and Graphs
1500 Kč -
Numerical Validation in Current Hardware Architectures
1182 Kč -
Pi-Calculus
2071 Kč -
Temporal Logics in Computer Science
3624 Kč -
Practical Introduction to Denotational Semantics
1002 Kč -
Programs, Recursion and Unbounded Choice
1453 Kč -
Introduction to Automata Theory, Languages, and Computation
6331 Kč -
Logic in Computer Science
1682 Kč -
Guide to Scientific Computing in C++
807 Kč -
Algorithmic Beauty of Plants
1841 Kč -
Practical Optimization
2074 Kč -
Category Theory Using Haskell
4599 Kč -
Computers and Intractability
5020 Kč -
Automata Theory and Formal Languages
1384 Kč -
Algorithms for Next-Generation Sequencing Data
3297 Kč -
P, NP, and NP-Completeness
1362 Kč -
Simulating the Brain
1729 Kč
O tomto obchodě
Nákupní rádce
Přehledy
Knihy podle jazyka
Osobní odběr Praha, Brno a 46512 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)