Vain Juri (38 results)
- Softcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
US$ 67.97
Free ShippingShips within U.S.A.Quantity: 10 available
Condition: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 70.69
US$ 16.19 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Language: English
Published by Springer Nature Switzerland AG, 2021
Series: Book 423 of 578 - Communications in Computer and Information Science
- Softcover
Seller: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contact seller5-star sellerCondition: New
US$ 85.43
Free ShippingShips within U.S.A.Quantity: 1 available
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Language: English
Published by Springer, 2021
Series: Book 423 of 578 - Communications in Computer and Information Science
- Softcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
US$ 93.48
Free ShippingShips within U.S.A.Quantity: 10 available
Condition: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 92.94
US$ 16.89 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 1st edition. 375 pages. 9.10x6.50x0.80 inches. In Stock.
System Assurances : Modeling and Management
Johri, Prashant (EDT); Anand, Adarsh (EDT); Vain, Juri (EDT); Singh, Jagvinder (EDT); Quasim, Mohammad Tabrez (EDT)
Language: English
Published by Academic Press, 2022
Series: Book 21 of 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 110.35
US$ 2.64 shippingShips within U.S.A.Quantity: 2 available
Condition: New.
Language: English
Published by Academic Press, 2022
Series: Book 21 of 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Softcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
US$ 113.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
Advances in Model and Data Engineering in the Digitalization Era: MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, . in Computer and Information Science, 1481)
Ladjel Bellatreche,George Chernishev,Antonio Corral,Samir Ouchani,J�ri Vain
Language: English
Published by Springer 2021-10-07, 2021
Series: Book 423 of 578 - Communications in Computer and Information Science
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 102.92
US$ 20.93 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New.
Language: English
Published by Springer, 2021
Series: Book 423 of 578 - Communications in Computer and Information Science
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 106.32
US$ 16.19 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
System Assurances : Modeling and Management
Johri, Prashant (EDT); Anand, Adarsh (EDT); Vain, Juri (EDT); Singh, Jagvinder (EDT); Quasim, Mohammad Tabrez (EDT)
Language: English
Published by Academic Press, 2022
Series: Book 21 of 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 131.35
US$ 2.64 shippingShips within U.S.A.Quantity: 2 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 63.61
US$ 72.71 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Networked and Distributed Systems) is the joint int- national annual conference combining the former PSTV (Protocol Speci cation Testing and Veri cation)…and former FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) conferences. The rst PSTV conference took place in 1981, and the rst FORTE took place in 1988. They were merged into one larger conference in 1996 and have run under the name of FORTE from 2001. The conference is a forum for presentation and d- cussion of the state of the art in theory, application, tools, and industrialization of formal methods. Over the years, FORTE has been held in numerous lo- tions, and this is re ected by its recent history, with meetings in Pisa (Italy), Cheju Island(Korea),Houston(USA), Berlin(Germany),Madrid(Spain), Paris (France), Taiwan and now Tallinn, Estonia. FORTE was sponsored by Working Group 6.1 of Technical Committee 6 (TC6) of the InternationalFederation for Information Processing (IFIP). Indeed FORTE is one of the agship conferences of Working Group 6.1 (Architectures and Protocols for Distributed Systems), and covers many aspects of the main themes of WG6.1, namely, formal description techniques, open distributed s- tems, and quality of service. WG6.1 provided a Best Paper Award as well as funds to help student participation, and we are particularly grateful for this. The 27th FORTE conference was held during June 26-29, 2007, in Tallinn (Estonia), in the historical building of the Brotherhood of the Black Heads.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 59.94
US$ 80.83 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Formal Techniques for Networked and Distributed Systems - FORTE 2007 | 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings | John Derrick (u. a.) | Taschenbuch | xi | Englisch | 2007 | Springer | EAN 9783540731955 | Verantwortliche Person für die EU: Springer Ve…rlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Language: English
Published by Elsevier, 2022
Series: Book 21 of 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Softcover
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
US$ 132.99
US$ 8.78 shippingShips from United Kingdom to U.S.A.Quantity: 3 available
Condition: New.
System Assurances: Modeling and Management (Emerging Methodologies and Applications in Modelling, Identification and Control)
Johri, Prashant (Editor) / Anand, Adarsh (Editor) / Vain, Juri (Editor) / Singh, Jagvinder (Editor) / Quasim, Mohammad Tabrez (Editor)
Language: English
Published by Academic Press, 2022
Series: Book 21 of 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 135.98
US$ 16.89 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 450 pages. 9.00x6.00x1.14 inches. In Stock.
Language: English
Published by Springer, Berlin|Springer International Publishing|Springer, 2021
Series: Book 423 of 578 - Communications in Computer and Information Science
- Softcover
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 100.00
US$ 56.57 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: New. This book constitutes the thoroughly refereed papers of the workshops held at the 10th International Conference on New Trends in Model and Data Engineering, MEDI 2021, held in Tallinn, Estonia, in June 2021: Workshop on moDeling, vErification and Testing of.
Language: English
Published by Elsevier, 2022
Series: Book 21 of 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 155.71
US$ 3.99 shippingShips within U.S.A.Quantity: 3 available
Condition: New. 1st edition NO-PA16APR2015-KAP.
More imagesLanguage: English
Published by Springer, 2021
Series: Book 423 of 578 - Communications in Computer and Information Science
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 91.93
US$ 80.83 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Advances in Model and Data Engineering in the Digitalization Era | MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21-23, 2021, Proceedings | Ladjel Bellatreche (u. a.) | Taschenbuch | Communications in Computer and Information Science | xix | Englisch | 202…1 | Springer | EAN 9783030876562 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
System Assurances : Modeling and Management
Johri, Prashant (EDT); Anand, Adarsh (EDT); Vain, Juri (EDT); Singh, Jagvinder (EDT); Quasim, Mohammad Tabrez (EDT)
Language: English
Published by Academic Press, 2022
Series: Book 21 of 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 155.42
US$ 20.27 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Condition: New.
Language: English
Published by Elsevier, 2022
Series: Book 21 of 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Softcover
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
US$ 164.90
US$ 11.49 shippingShips from Germany to U.S.A.Quantity: 3 available
Condition: New.
Language: English
Published by Elsevier Science & Technology, 2022
Series: Book 21 of 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Softcover
Seller: THE SAINT BOOKSTORE, Southport, United KingdomTHE SAINT BOOKSTORE
Contact seller5-star sellerCondition: New
US$ 149.57
US$ 27.63 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback / softback. Condition: New. New copy - Usually dispatched within 4 working days.
Language: English
Published by Academic Press, 2022
Series: Book 21 of 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 166.84
US$ 16.19 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Language: English
Published by Springer, 2021
Series: Book 423 of 578 - Communications in Computer and Information Science
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 110.14
US$ 72.33 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed papers of the workshops held at the 10th International Conference on New Trends in Model and Data Engineering, MEDI 2021, held in Tallinn, Estonia, in June 2021: Workshop on moDeling, vErification and T…esting of dEpendable CriTical systems, DETECT 2021; Symposium on Intelligent and Autonomous Systems, SIAS 2021; Worjshop on Control Software: Methods, Models, and Languages, CSMML 2021; Blockchain for Inter-Organizational Collaboration, BIOC 2021; The International Health Data Workshop, HEDA 2021.The 20 full and the 4 short workshop papers presented were carefully reviewed and selected from 61 submissions. The papers are organized according to the workshops: Workshop on moDeling, vErification and Testing of dEpendable CriTical systems, DETECT 2021; Symposium on Intelligent and Autonomous Systems, SIAS 2021; Worjshop on Control Software: Methods, Models, and Languages, CSMML 2021; Blockchain for Inter-Organizational Collaboration, BIOC 2021; The International Health Data Workshop, HEDA 2021.
System Assurances : Modeling and Management
Johri, Prashant (EDT); Anand, Adarsh (EDT); Vain, Juri (EDT); Singh, Jagvinder (EDT); Quasim, Mohammad Tabrez (EDT)
Language: English
Published by Academic Press, 2022
Series: Book 21 of 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 184.85
US$ 20.27 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Condition: As New. Unread book in perfect condition.
More imagesLanguage: English
Published by Elsevier Inc, 2022
Series: Book 21 of 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 128.27
US$ 80.83 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. System Assurances | Modeling and Management | Prashant Johri (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2022 | Elsevier Inc | EAN 9780323902403 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu.
Language: English
Published by Elsevier Science, 2022
Series: Book 21 of 24 - Emerging Methodologies and Applications in Modelling, Identification and Control
- Softcover
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 182.99
US$ 56.57 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. Provides software reliability modeling, simulation and optimization Offers methodologies, tools and practical applications of reliability modeling and resources allocation Presents cost modeling and optimization associated with co.
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 63.61
US$ 26.56 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2007, held in Tallinn, Estonia, in September 2007 co-located with Test…Com/FATES 2007. It covers service oriented computing and architectures using formalized and verified approaches. 392 pp. Englisch.
Language: English
Published by Springer, 2021
Series: Book 423 of 578 - Communications in Computer and Information Science
- Softcover
- Print on Demand
Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand
Contact seller5-star sellerCondition: New
US$ 83.54
US$ 7.85 shippingShips from Italy to U.S.A.Quantity: Over 20 available
Condition: new. Questo è un articolo print on demand.
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 57.52
US$ 56.57 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2007, held in Tallinn, Estonia, in September 2007 co-lo…cated with TestCom/FATES 2007. It cov.
Language: English
Published by Springer, 2021
Series: Book 423 of 578 - Communications in Computer and Information Science
- Softcover
- Print on Demand
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 107.64
US$ 16.89 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Brand New. 345 pages. 9.25x6.10x9.25 inches. In Stock. This item is printed on demand.
Language: English
Published by Springer International Publishing Okt 2021, 2021
Series: Book 423 of 578 - Communications in Computer and Information Science
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 101.79
US$ 26.56 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed papers of the workshops held at the 10th International Conference on New Trends in Model and Data Engineering, MEDI 2021, held in Tallinn, Estonia, in June 2021: Workshop on moDeling, vE…rification and Testing of dEpendable CriTical systems, DETECT 2021; Symposium on Intelligent and Autonomous Systems, SIAS 2021; Worjshop on Control Software: Methods, Models, and Languages, CSMML 2021; Blockchain for Inter-Organizational Collaboration, BIOC 2021; The International Health Data Workshop, HEDA 2021.The 20 full and the 4 short workshop papers presented were carefully reviewed and selected from 61 submissions. The papers are organized according to the workshops: Workshop on moDeling, vErification and Testing of dEpendable CriTical systems, DETECT 2021; Symposium on Intelligent and Autonomous Systems, SIAS 2021; Worjshop on Control Software: Methods, Models, and Languages, CSMML 2021; Blockchain for Inter-Organizational Collaboration, BIOC 2021; The International Health Data Workshop, HEDA 2021. 348 pp. Englisch.
