Copied Recent Trends in Algebraic Development Techniques
Recent Trends in Algebraic Development Techniques
This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Algebraic Development Techniques, WADT 2022, held in Aveiro, Portugal, in June 2022. The 6 revised papers presented together with 2 invited papers were carefully reviewed and selected from 25 submissions. The contributed presentations covered a range of topics about the algebraic approach to system specification, which encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, the algebraic approach now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic, and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed, and mobile systems). ... Show More Show Less
Price Comparison
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Eutrophication and Oligotrophication in Japanese Estuaries
$84.99
Language Racism
$64.99
Nanomaterials for Advanced Technologies
$119.99
Direct Variational Methods and Eigenvalue Problems in Engineering
$219.99
Endoskopie und Biopsie in der Gastroenterologie
$59.99
Heteronormativity in a Rural School Community
$39.99
3D ImagingMultidimensional Signal Processing and Deep Learning
$249.99
Process and Device Simulation for MOS-VLSI Circuits
$39.99
Intimate Violence and Victorian Print Culture
$54.99
Modelling Human Motion
$119.00
Fracture mechanics of concrete: Material characterization and testing
$54.99
Aperture Antennas for Millimeter and Sub-Millimeter Wave Applications
$199.99
Mass Loss from Red Giants
$219.99
Instandhaltung
$59.99
Food Chemistry
$109.00
Commentary on De Grammatico
$219.99
Phenomenology: Japanese and American Perspectives
$169.99
Geology and Resource Potential of the Congo Basin
$109.99
Zeig mir Biostatistik!
$19.99
Das Basler Konzil als Forschungsproblem der europischen Geschichte
$44.99
Super-Intense Laser-Atom Physics
$169.99
Der Lastkraftwagenverkehr seit dem Kriege, insbesondere sein Wettbewerb und seine Zusammenarbeit mit
$59.99
Practitioner's Guide to Empirically Based Measures of Social Skills
$54.99
Freedom Determinism Indeterminism
$54.99
Theoretische Elektrotechnik
$39.99
Modulare Unternehmensfhrung 1
$44.99
Decision Making in the Manufacturing Environment
$169.99
Aufgabensammlung der hheren Mathematik
$49.99
Relation Between Morphology and Process Performances
$39.99
Bioorganic Chemistry of Biological Signal Transduction
$39.99
Benign Prostatic Hyperplasia
$39.99
West Germany and the Portuguese Dictatorship, 19681974
$54.99
Neuroleadership
$69.99
Vermessungskunde
$44.99
Patientenorientierte Gesprchsfhrung im Pflegeprozess
$49.99
Das Menschenrechtsbereinkommen zur Biomedizin des Europarates taugliches Vorbild fr eine weltwei
$59.99
Direct Licensing and the Music Industry
$84.99
A Kids Book About Racism by Jelani Memory
$19.95
Insider Intervention Research
$54.99
Interfaces in New Materials
$54.99
