Rewriting Logic and Its Applications

Menge:

Stück

Produktinformationen

Artikel-Nr.:
858A-9783031659409

Hersteller:
Springer Verlag

Herst.-Nr.:
9783031659409

EAN/GTIN:
9783031659409

Suchbegriffe:

15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers

Weitere Informationen:


Author:	Kazuhiro Ogata; Narciso Martí-Oliet
Verlag:	Springer International Publishing
Sprache:	eng

Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, Equational logic and rewriting, Verification by model checking, Logic and verification, Software system structures, Software functional properties, System description languages, Designing software, Software verification and validation

Die Konditionen im Überblick¹

Lieferzeit

Lagerstand

Preis

€ 57,99*