^^PAGEHEADLINE ^^
-
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Springer Verlag GmbH 12.06.2016 - 2016Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book presents 8 tutorial lectures given by leading researchers at the 16th edition of the In...
-
Formal Methods for Computational Systems Biology
Springer Verlag GmbH 20.05.2008 - 2008Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book presents a set of 14 papers accompanying the lectures of leading researchers given at t...
-
Formal Methods for Web Services
Springer Verlag GmbH 12.05.2009 - 2009Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen -
Formal Methods for Executable Software Models
Springer Verlag GmbH 21.05.2014 - 2014Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenInhaltsangabeAnalysis of Executable Software Models.- Deadlock Detection in Linear Recursive Prog...
-
Formal Methods for Model-Driven Engineering
Springer Verlag GmbH 14.06.2012 - 2012Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book presents 11 tutorial lectures by leading researchers given at the 12th edition of the I...
-
-0 %
A Process Algebraic Approach to Software Architecture Design
Springer Verlag GmbH 27.11.2009 - 2009Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenInthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginter...
Unser bisheriger Preis:ORGPRICE: 52,50 €
Jetzt 40,12 €2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 € -
Formal Methods for Multicore Programming
Springer Verlag GmbH 19.05.2015 - 2015Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenInhaltsangabeParallel Objects for Multicores: A Glimpse at the Parallel Language Encore.- Coordin...
-
Formal Methods for Dynamical Systems
Springer Verlag GmbH 07.06.2013 - 2013Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book presents 5 tutorial lectures given by leading researchers at the 13th edition of the In...
-
Formal Methods for the Design of Real-Time Systems
Springer Verlag GmbH 01.09.2004 - 2004Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenA large class of computing systems can be speci?ed and veri?ed by abstracting away from the tempo...
-
-0 %
A Process Algebraic Approach to Software Architecture Design
Springer Verlag GmbH 20.10.2014 - 2014Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenInthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginter...
Unser bisheriger Preis:ORGPRICE: 52,49 €
Jetzt 40,12 €2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 € -
Formal Methods for Mobile Computing
Springer Verlag GmbH 13.04.2005 - 2005Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book presents 8 tutorial survey papers by leading researchers who lectured at the 5th Intern...
-
-0 %
Computer Performance Engineering
Springer Verlag GmbH 13.09.2010 - 2010Nar: - PDesc:Besorgungstitel - wird vorgemerkt - Besorgungstitel - Lieferbar innerhalb von 10 WerktagenThis volume contains the proceedings of the 7th European Performance En- neering Workshop (EPEW 2...
Unser bisheriger Preis:ORGPRICE: 62,99 €
Jetzt 52,49 €2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
- 1
- 2