Bol 91,99 91,99 Bekijk 
Amazon.nl Bekijk prijs This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019. The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specifica...
De Model Checking Software is een populaire optie voor Boeken. Esy heeft 1 prijs gevonden, de goedkoopste keuze is volgens ons Bol, maar bekijk de andere aanbieders om het zeker te weten. Links openen in een nieuwe tabblad. Bekijk hier onder de product specificaties. Meer product informatie beschikbaar bij Bol.
Model Checking Software is onder andere te koop bij: Bol. Esy raadt altijd aan om meerdere aanbieders te bekijken om geen last minute deals mis te lopen.
-23 % € 101,99 Today, political leaders and candidates for office must campaign in a multi-media world not only through the traditional media forums &; newspapers, radio, and television &; but also through new digit...
Naar goedkoopste shop Vergelijk meer shops Making an obvious reference to Eduardo Galeano's Open Veins of Latin America, this volume proves that the veins of the postcolonial remain open, having prolonged and reproduced themselves over the cou...
Naar goedkoopste shop Vergelijk meer shops 
