171,39 €
Formal Methods in Computer Science
Formal Methods in Computer Science
  • Išparduota
Formal Methods in Computer Science
Formal Methods in Computer Science
El. knyga:
171,39 €
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logic, a powerful formal language in specifying systems properties. It is composed of four chapters: propositional logic, predicate logic, temporal logic…
  • Leidėjas:
  • Metai: 2019
  • Puslapiai: 350
  • ISBN: 9781498775359
  • ISBN-10: 1498775357
  • ISBN-13: 9781498775359
  • Formatas: ACSM ?
  • Kalba: Anglų

Formal Methods in Computer Science (el. knyga) (skaityta knyga) | knygos.lt

Atsiliepimai

(1.00 Goodreads įvertinimas)
Įvertink ir tu! Visi atsiliepimai

Formatai:

171,39 € El. knyga

Aprašymas

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logic, a powerful formal language in specifying systems properties. It is composed of four chapters: propositional logic, predicate logic, temporal logic, and model checking. The third part presents the most popular formal language in system behavior modeling, Petri nets. It has three chapters: Petri nets, timed Petri nets and high-level Petri nets.

171,39 €
Prisijunkite ir už šią prekę
gausite 1,71 Knygų Eurų! ?

Elektroninė knyga:
Atsiuntimas po užsakymo akimirksniu! Skirta skaitymui tik kompiuteryje, planšetėje ar kitame elektroniniame įrenginyje.

Kaip skaityti el. knygas ACSM formatu?

Mažiausia kaina per 30 dienų: 169,79 €

Mažiausia kaina užfiksuota: 2026-06-03 02:11:37

  • Autorius: Jiacun Wang
  • Leidėjas:
  • Metai: 2019
  • Puslapiai: 350
  • ISBN: 9781498775359
  • ISBN-10: 1498775357
  • ISBN-13: 9781498775359
  • Formatas: ACSM ?
  • Kalba: Anglų

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logic, a powerful formal language in specifying systems properties. It is composed of four chapters: propositional logic, predicate logic, temporal logic, and model checking. The third part presents the most popular formal language in system behavior modeling, Petri nets. It has three chapters: Petri nets, timed Petri nets and high-level Petri nets.

Atsiliepimai

  • Atsiliepimų nėra
0 pirkėjai įvertino šią prekę.
5
0%
4
0%
3
0%
2
0%
1
0%
(rodomas nebus)
Knygos.lt komentarų taisyklės
[{"option":"222","probability":1,"style":{"backgroundColor":"#ffffff"},"image":{"uri":"\/uploads\/images\/wheel_of_fortune\/6a3ba631ba76d1782294065.png","sizeMultiplier":0.6,"landscape":true,"offsetX":-50}},{"option":"221","probability":1.3,"style":{"backgroundColor":"#e1032e"},"image":{"uri":"\/uploads\/images\/wheel_of_fortune\/6a3ba61ea9f381782294046.png","sizeMultiplier":0.6,"landscape":true,"offsetX":-50}},{"option":"220","probability":1.6,"style":{"backgroundColor":"#ffffff"},"image":{"uri":"\/uploads\/images\/wheel_of_fortune\/6a3ba60167d251782294017.png","sizeMultiplier":0.6,"landscape":true,"offsetX":-50}},{"option":"219","probability":1.5,"style":{"backgroundColor":"#e2022e"},"image":{"uri":"\/uploads\/images\/wheel_of_fortune\/6a3ba5ea1c47d1782293994.png","sizeMultiplier":0.6,"landscape":true,"offsetX":-50}},{"option":"218","probability":1.5,"style":{"backgroundColor":"#ffffff"},"image":{"uri":"\/uploads\/images\/wheel_of_fortune\/6a3ba5d38b4a21782293971.png","sizeMultiplier":0.6,"landscape":true,"offsetX":-50}},{"option":"217","probability":1.6,"style":{"backgroundColor":"#e3022e"},"image":{"uri":"\/uploads\/images\/wheel_of_fortune\/6a3ba5b981b7a1782293945.png","sizeMultiplier":0.6,"landscape":true,"offsetX":-50}},{"option":"216","probability":1.4,"style":{"backgroundColor":"#ffffff"},"image":{"uri":"\/uploads\/images\/wheel_of_fortune\/6a3ba58b535551782293899.png","sizeMultiplier":0.6,"landscape":true,"offsetX":-50}},{"option":"215","probability":0.1,"style":{"backgroundColor":"#ffe01a"},"image":{"uri":"\/uploads\/images\/wheel_of_fortune\/6a3ba53a6496f1782293818.png","sizeMultiplier":0.6,"landscape":true,"offsetX":-50}}]