EUR 5,80
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbSoftcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 2016. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2016. Ammareal gives back up to 15% of this item's net price to charity organizations.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 43,00
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Verlag: Editorial Académica Española, 2024
ISBN 10: 6139432707 ISBN 13: 9786139432707
Sprache: Spanisch
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 43,00
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 58,03
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,03
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Livraria Castro e Silva, Lisboa, Portugal
EUR 15,00
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbSoft Cover. Zustand: Good. [Por] Prof. Doutor. Separata da Lusíada - Revista de Ciência e Cultura. Série de Arquitectura - N.º 1 - Agosto de 1992. Universidade Lusíada. Departamento de Arquitectura da Universidade Lusíada. Lisboa. 1992. De 23x16 cm. Com 18, [i] págs. Brochado. Exemplar com dedicatória de oferta na folha de guarda anterior. Language: Português / Portuguese Location/localizacao: I-241-C-128.
Anbieter: Kennys Bookstore, Olney, MD, USA
EUR 66,18
Währung umrechnenAnzahl: 15 verfügbar
In den WarenkorbZustand: New.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 63,94
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 43,00
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
EUR 93,47
Währung umrechnenAnzahl: 15 verfügbar
In den WarenkorbZustand: New.
Verlag: Springer International Publishing AG, 2016
ISBN 10: 3319395181 ISBN 13: 9783319395180
Sprache: Englisch
Anbieter: Kennys Bookstore, Olney, MD, USA
EUR 95,30
Währung umrechnenAnzahl: 15 verfügbar
In den WarenkorbZustand: New. Editor(s): Lluch Lafuente, Alberto; Proenca, Jose. Series: Lecture Notes in Computer Science. Num Pages: 293 pages, 83 black & white illustrations, biography. BIC Classification: UMZ; UTR. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 16. Weight in Grams: 456. . 2016. Paperback. . . . . Books ship from the US and Ireland.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 92,50
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 77,45
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 264 pages. 9.25x6.10x0.59 inches. In Stock.
Verlag: Springer-Verlag New York Inc, 2016
ISBN 10: 3319395181 ISBN 13: 9783319395180
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 77,97
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 296 pages. 9.25x6.10x0.67 inches. In Stock.
Verlag: Springer, Berlin|Springer International Publishing|Springer, 2023
ISBN 10: 3031208714 ISBN 13: 9783031208713
Sprache: Englisch
Anbieter: moluna, Greven, Deutschland
EUR 61,55
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Verlag: Springer Nature Switzerland, Springer International Publishing Sep 2017, 2017
ISBN 10: 3319680331 ISBN 13: 9783319680330
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017.The 14 full papers presented were carefully reviewed and selected from 26 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.
Verlag: Springer International Publishing, Springer International Publishing Jun 2016, 2016
ISBN 10: 3319395181 ISBN 13: 9783319395180
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 18th InternationalSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.
EUR 25,00
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbSoft Cover. Zustand: Good. Conflitos de jurisdições e reconhecimento de sentenças estrangeiras. Universidade Lusíadas. Lisboa. 1991. De 22x16,5 cm. Com 252 págs. Brochado. Volume com texto dactilografado. Exemplar com lombada e capas manuseadas e alguns sublinhados a lápis. Tem em falta as folhas de anterrosto e de rosto. Language: Português / Portuguese Location/localizacao: I-240-D-5.
EUR 25,00
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbSoft Cover. Zustand: Good. SPB Editores e Livreiros. Lisboa. 1996. De 23x16 cm. Com 302 págs. Brochado. Exemplar com folha de rosto arrancada. Language: Português / Portuguese Location/localizacao: I-135-C-16.
Verlag: Springer International Publishing, Springer International Publishing, 2017
ISBN 10: 3319680331 ISBN 13: 9783319680330
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017. The 14 full papers presented were carefully reviewed and selected from 26 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.
Verlag: Springer International Publishing, 2016
ISBN 10: 3319395181 ISBN 13: 9783319395180
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 18th InternationalConference on Coordination Models and Languages, COORDINATION 2016, heldin Heraklion, Crete, Greece, in June 2016, as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016.The 16 full papers included in this volume were carefully reviewed andselected from 44 submissions. The papers cover a wide range of topicsand techniques related to system coordination, including: programming andcommunication abstractions; communication protocols and behavioural types;actors and concurrent objects; tuple spaces; games, interfaces and contracts; informationflow policies and dissemination techniques; and probabilistic modelsand formal verification.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 97,33
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 255 pages. 9.25x6.10x0.75 inches. In Stock.
EUR 118,06
Währung umrechnenAnzahl: 15 verfügbar
In den WarenkorbZustand: New.
Verlag: Springer International Publishing, Springer International Publishing Nov 2022, 2022
ISBN 10: 3031208714 ISBN 13: 9783031208713
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 69,54
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly revised selected papers from the 18th International Symposium, FACS 2022, which was held online in November 2022.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.
Verlag: Springer International Publishing, 2022
ISBN 10: 3031208714 ISBN 13: 9783031208713
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 69,54
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly revised selected papers from the18th International Symposium, FACS 2022, which was held online in November 2022.The 12 full papers and 1 short paper were carefully reviewed and selected from 25 submissions.FACS 2021 is focusing on the areas of component software and formal methods in order to promote a deeper understanding of how formal methods can or should be used to make component-based software development succeed.
Verlag: Springer-Nature New York Inc, 2025
ISBN 10: 3031947479 ISBN 13: 9783031947476
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 111,36
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 400 pages. 9.25x6.10x9.21 inches. In Stock.
Verlag: Springer, Palgrave Macmillan, 2025
ISBN 10: 3031947479 ISBN 13: 9783031947476
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 79,17
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024.The 20 full papers presented in this book were carefully reviewed and selected from 36 submissions. SEFM 2024 Collocated Workshops presents the following two workshops:ReacTS 2024: International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications.CIFMA 2024: 6th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 43,00
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 43,00
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Verlag: Edições Nosso Conhecimento, 2024
ISBN 10: 6207979354 ISBN 13: 9786207979356
Sprache: Portugiesisch
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 43,00
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.