Theoretical Aspects of Computing - ICTAC 2020 Violet Ka I Pun
Titel: Theoretical Aspects of Computing - ICTAC 2020, Untertitel: 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings, Einband: Taschenbuch, Autor: Violet Ka I Pun, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 336, Maße: 235x155x19 mm, Gewicht: 511 g, Verkäufer: buch-mimpf, Schlagworte: Embedded Systems Field Programmable Gate Array (FPGA) Object-oriented programming Signal Processing Software Design Software Engineering architecture verification and validation automata theory formal languages formal logic formal methods graph theory higher order logic linguistics logic and verification model checking petri nets proof theory software architecture theorem proving.
Jetzt bei Ebay:
