|
Login | Sign Up | Settings | Sell Books | Wish List |
Searching ... |
0 % | |||
Formal Methods for Industrial Critical Systems(1st Edition) A Survey of Applications by Stefania Gnesi, Tiziana Margaria Paperback, 292 Pages, Published 2012 by Wiley-Ieee Computer Society Pr ISBN-13: 978-0-470-87618-3, ISBN: 0-470-87618-2 |
Semantic Web Services Challenge(Reprint) Results from the First Year (Semantic Web and Beyond) by Charles J. Petrie, Tiziana Margaria, Holger Lausen, Michal Zaremba Paperback, 290 Pages, Published 2010 by Springer ISBN-13: 978-1-4419-4440-5, ISBN: 1-4419-4440-0 |
Security and Management (2016 Worldcomp International Conference Proceedings) by Hamid R. Arabnia, Kevin Daimi, Tiziana Margaria Paperback, 368 Pages, Published 2017 by C S R E A Pr ISBN-13: 978-1-60132-445-0, ISBN: 1-60132-445-6 |
Tools and Algorithms for the Construction and Analysis of Systems Second International Workshop, Tacas '96, Passau, Germany, March 1996 : Proceedings (Lecture Notes in Computer Science, 1055) by Tiziana Margaria, Bernhard Steffen Paperback, Published by Springer-Verlag ISBN-13: 978-0-387-61042-9, ISBN: 0-387-61042-1 |
Formal Methods for Industrial Critical Systems(1st Edition) A Survey of Applications by Stefania Gnesi, Tiziana Margaria Printed Access Code, 304 Pages, Published 2013 by Wiley-Blackwell ISBN-13: 978-1-118-45989-8, ISBN: 1-118-45989-X |
Formal Methods for Industrial Critical Systems A Survey of Applications by Stefania Gnesi, Tiziana Margaria 292 Pages, Published 2012 by John Wiley & Sons ISBN-13: 978-1-118-45987-4, ISBN: 1-118-45987-3 |
Formal Methods for Industrial Critical Systems A Survey of Applications by Stefania Gnesi, Tiziana Margaria 292 Pages, Published 2012 by Wiley-Ieee Computer Society Press ISBN-13: 978-1-118-45986-7, ISBN: 1-118-45986-5 |
Formal Methods for Industrial Critical Systems A Survey of Applications by Stefania Gnesi, Tiziana Margaria Published 2012 ISBN-13: 978-1-118-45988-1, ISBN: 1-118-45988-1 |
Semantic Web Services Challenge Results from the First Year by Charles J. Petrie, Tiziana Margaria, Holger Lausen, Michal Zaremba 290 Pages, Published 2009 by Springer Science & Business Media ISBN-13: 978-0-387-72496-6, ISBN: 0-387-72496-6 |
Semantic Web Services Challenge Results from the First Year (Semantic Web and Beyond) by Charles J. Petrie, Holger Lausen, Tiziana Margaria-Steffen, Michal Zaremba Hardcover, 290 Pages, Published 2008 by Springer ISBN-13: 978-0-387-72495-9, ISBN: 0-387-72495-8 |
Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... Part I (Lecture Notes in Computer Science) by Tiziana Margaria, Bernhard Steffen Paperback, 617 Pages, Published 2012 by Springer ISBN-13: 978-3-642-34025-3, ISBN: 3-642-34025-3 |
Correct Hardware Design and Verification Methods 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, ... (Lecture Notes in Computer Science) by Tiziana Margaria, Tom Melham, T. F. Melham, Tom F. Melham Paperback, 488 Pages, Published 2001 by Springer ISBN-13: 978-3-540-42541-0, ISBN: 3-540-42541-1 |
Tools and Algorithms for the Construction and Analysis of Systems Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings. (Lecture Notes in Computer Science) by Tiziana Margaria, Bernhard Steffen Paperback, 443 Pages, Published 1996 by Springer ISBN-13: 978-3-540-61042-7, ISBN: 3-540-61042-1 |
Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... Part II (Lecture Notes in Computer Science) by Tiziana Margaria, Bernhard Steffen Paperback, 361 Pages, Published 2012 by Springer ISBN-13: 978-3-642-34031-4, ISBN: 3-642-34031-8 |
Models, Mindsets, Meta(1st Edition) The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday (Lecture Notes in Computer Science) by Tiziana Margaria, Susanne Graf, Kim G. Larsen Paperback, 431 Pages, Published 2019 by Springer ISBN-13: 978-3-030-22347-2, ISBN: 3-030-22347-7 |
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems(1st Edition) 8th International Symposium, ISoLA 2018, Limassol, ... Part III (Lecture Notes in Computer Science) by Tiziana Margaria, Bernhard Steffen Paperback, 536 Pages, Published 2018 by Springer ISBN-13: 978-3-030-03423-8, ISBN: 3-030-03423-2 |
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA ... Part II (Lecture Notes in Computer Science) by Tiziana Margaria, Bernhard Steffen Paperback, 644 Pages, Published 2014 by Springer ISBN-13: 978-3-662-45230-1, ISBN: 3-662-45230-8 |
Software Business. From Physical Products to Software Services and Solutions 4th International Conference, ICSOB 2013, Potsdam, Germany, June 11-14, ... Notes in Business Information Processing) by Georg Herzwurm, Tiziana Margaria-Steffen, Georg Herzwurm And Paperback, 250 Pages, Published 2013 by Springer ISBN-13: 978-3-642-39335-8, ISBN: 3-642-39335-7 |
Process Design for Natural Scientists An Agile Model-Driven Approach (Communications in Computer and Information Science) by Anna-Lena Lamprecht, Tiziana Margaria Paperback, 253 Pages, Published 2014 by Springer ISBN-13: 978-3-662-45005-5, ISBN: 3-662-45005-4 |
Tools and Algorithms for the Construction and Analysis of Systems 7th International Conference, TACAS 2001 Held as Part of the Joint European ... (Lecture Notes in Computer Science) by Tiziana Margaria, Wang Yi, Tacas 2001, Tiziana Margaria-Steffen Paperback, 594 Pages, Published 2001 by Springer ISBN-13: 978-3-540-41865-8, ISBN: 3-540-41865-2 |
Tiziana Margaria
Margaria, Tiziana (Editor), and Steffen, Bernhard (Editor)