Rewriting Logic and Its Applications Kyungmin Bae
Titel: Rewriting Logic and Its Applications, Untertitel: 14th International Workshop, WRLA 2022, Munich, Germany, April 2¿3, 2022, Revised Selected Papers, Einband: Taschenbuch, Autor: Kyungmin Bae, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 304, Maße: 235x155x17 mm, Gewicht: 464 g, Verkäufer: buch-mimpf, Schlagworte: parallel processing systems Simulation Software Design Software Engineering term rewriting cryptographic protocols architecture verification and validation computer programming concurrency distributed computer systems Embedded Systems formal logic formal methods formal security models graph theory linguistics logic and verification model checking Object-oriented programming.
Jetzt bei Ebay:
