^^PAGEHEADLINE ^^
-
Formal Methods for Industrial Critical Systems
WILEY 21.11.2012 - 2012Nar: - 292 S., 8.02 MB PDesc:Sofort lieferbar - Sofort lieferbarToday, formal methods are widely recognized as an essential step in the design process of industr...
-
Formal Methods for Industrial Critical Systems
WILEY 27.11.2012 - 2012Nar: - 292 S., 5.41 MB PDesc:Sofort lieferbar - Sofort lieferbarToday, formal methods are widely recognized as an essential step in the design process of industr...
-
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Springer Verlag GmbH 06.10.2016 - 2016Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThe two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th Intern...
-
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
Springer Verlag GmbH 06.10.2016 - 2016Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThe two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th Intern...
-
Tools and Algorithms for the Construction and Analysis of Systems
Springer Verlag GmbH 31.03.2017 - 2017Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThe two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Confere...
-
Tools and Algorithms for the Construction and Analysis of Systems
Springer Verlag GmbH 31.03.2017 - 2017Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThe two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Confere...
-
Leveraging Applications of Formal Methods, Verification and Validation.Specialized Techniques and Applications
Springer Verlag GmbH 07.10.2014 - 2014Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThe two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th Intern...
-
Leveraging Applications of Formal Methods, Verification and Validation.Technologies for Mastering Change
Springer Verlag GmbH 07.10.2014 - 2014Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThe two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th Intern...
-
Leveraging Applications of Formal Methods, Verification and Validation
Springer Verlag GmbH 11.09.2012 - 2012Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenInhaltsangabeAdaptable and Evolving Software for Eternal Systems (Track Summary).- Challenges in ...
-
Leveraging Applications of Formal Methods, Verification and Validation
Springer Verlag GmbH 11.09.2012 - 2012Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenInhaltsangabeLinux Driver Verification (Position Paper).- Bioscientific Data Processing and Model...
-
-0 %
Semantic Web Services Challenge
Springer Verlag GmbH 23.11.2010 - 2010Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenService-Oriented Computing is one of the most promising software engineering trends for future di...
Unser bisheriger Preis:ORGPRICE: 157,49 €
Jetzt 120,37 €2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 € -
Leveraging Applications of Formal Methods, Verification and Validation
Springer Verlag GmbH 14.10.2008 - 2008Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis volume contains the conference proceedings of ISoLA 2008, the Third International Symposium ...