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: 9781498775335
  • ISBN-10: 1498775330
  • ISBN-13: 9781498775335
  • Formatas: ACSM ?
  • Kalba: Anglų

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

Atsiliepimai

(1.50 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-05-31 02:18:46

  • Autorius: Jiacun Wang
  • Leidėjas:
  • Metai: 2019
  • Puslapiai: 350
  • ISBN: 9781498775335
  • ISBN-10: 1498775330
  • ISBN-13: 9781498775335
  • 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