Structurele operationele semantiek is een eenvoudige maar krachtige wiskundige theorie om het gedrag van programma's op een implementatie-onafhankelijke manier te beschrijven. Dit boek biedt een op zichzelf staande inleiding tot structurele operationele semantiek met semantische definities met behulp van de semantiek van grote en kleine stappen van vele standaard programmeertaalconstructies, waaronder controlestructuren, gestructureerde declaraties en objecten, parametermechanismen en procedurele abstractie, gelijktijdigheid, niet-determinisme en de kenmerken van functionele programmeertalen. Gaandeweg introduceert en past de tekst de relevante bewijstechnieken toe, waaronder vormen van inductie en noties van semantische equivalentie (inclusief bisimilariteit). Dit boek is grondig getest op basis van collegedictaten die de auteur gedurende een periode van 10 jaar aan de Universiteit van Aalborg heeft gebruikt om niet-gegradueerde en afgestudeerde studenten les te geven. Het resultaat is een grondige inleiding die het onderwerp duidelijk maakt voor studenten en computerprofessionals zonder dat dit ten koste gaat van de nauwkeurigheid. Er is geen ervaring met een specifieke programmeertaal vereist. Taal: Engels