-
Blu-RayUnser bisheriger Preis:ORGPRICE: 24,99 €
Jetzt 17,99 €Sofort lieferbarAlle Preise inkl. MwSt | Versandkostenfrei -
17.03.2010
ETAPS 2010 was the 13th instance of the European Joint Conferences on T- oryandPracticeofSoftware...
-
24.06.2014
This two-volume set of LNCS 8572 and LNCS 8573 constitutes the refereed proceedings of the 41st I...
-
16.03.2017
This book constitutes the proceedings of the 20th International Conference on Foundations of Soft...
-
23.06.2014
This two-volume set of LNCS 8572 and LNCS 8573 constitutes the refereed proceedings of the 41st I...
-
12.06.2002
This volume contains the proceedings of the 23rd International Conference on Application and Theo...
-
30.11.2010
Model checking is a prominent technique used in the hardware and software industries for automati...
-
06.10.2019
This book constitutes the refereed proceedings of the 17th International Symposium on Automated T...
-
10.03.2011
Surveys of current research in logical aspects of computer science that apply finite and infinite...
-
09.08.2005
Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent s...
-
27.03.2008
Model checking is a prominent technique used in the hardware and software industries for automati...
-
24.04.2023
La familia históricamente ha sido una institución social determinante para el desarrollo de las c...
