Gesamtpreis (1 Artikel Artikel):
Versandziel:
bernardo marco (82 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (80)
- Magazine & Zeitschriften (1)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (1)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (61)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (10)
- Gut oder Befriedigend (7)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (4)
Einband
Weitere Eigenschaften
- Erstausgabe (1)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (35)
Sprache (5)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Zustand: Bueno. : Este libro presenta las conferencias tutoriales impartidas por autoridades líderes en la Tercera Escuela Internacional sobre Métodos Formales para el Diseño de Sistemas Informáticos, de Comunicación y de Software, SFM 2003, celebrada en Bertinoro, Italia, en septiembre de 2003. El libro es ideal para cursos avanzados sobre arquitectura de software, así como para la formación continua de ingenieros de software que utilizan métodos formales en su trabajo profesional diario. En los últimos diez años, la arquitectura de software se ha convertido en una noción central en el desarrollo de sistemas de software complejos. La arquitectura de software es ahora aceptada en la comunidad de investigación y desarrollo de ingeniería de software como una abstracción manejable y significativa del sistema en desarrollo y se aplica a lo largo del ciclo de vida del desarrollo de software, desde el análisis y la validación de los requisitos hasta el diseño y hasta el nivel de código y ejecución. EAN: 9783540200833 Tipo: Libros Categoría: Tecnología Título: Formal Methods for Software Architectures Autor: Marco Bernardo| Paola Inverardi Editorial: Springer Idioma: en Páginas: 296 Formato: tapa blanda.
-
Formal Methods for the Design of Real-Time Systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004,Bertinoro, Italy, September 2004, revised Lectures
Sprache: Englisch
Verlag: Springer Berlin / Heidelberg, 2004
ISBN 10: 3540230688 ISBN 13: 9783540230687
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Formal Methods for Software Architectures (Volume 2804)
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 24,30
EUR 16,00 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. Volume 2804. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,550grams, ISBN:9783540200833.
-
Italian Pop Culture: Media, Products, Imageries (Kent State University European Studies)
Anbieter: libreriauniversitaria.it, Occhiobello, RO, Italien
Verkäuferbewertung 4 von 5 Sternen
Zustand: NEW.
-
Formal Methods For Computational Systems Biology (Pb)
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Formal Methods For Computational Systems Biology
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Formal Methods For Performance Evaluation
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
![Bild des Verkäufers für Formal Methods for Hardware Verification. 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006. [Notes in Computer Science, Vol. 3965]. zum Verkauf von Antiquariat Thomas Haker GmbH & Co. KG](https://pictures.abebooks.com/inventory/md/md31150894998.jpg)
Formal Methods for Hardware Verification. 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006. [Notes in Computer Science, Vol. 3965].
Sprache: Englisch
Verlag: Berlin / Heidelberg, Springer, 2010
ISBN 10: 3540343040 ISBN 13: 9783540343042
Anbieter: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Deutschland
Verbandsmitglied: GIAQ
Verkäuferbewertung 5 von 5 Sternen
Softcover/Paperback. Zustand: Sehr gut. 256 p. Very good. Shrink wrapped. / Sehr guter Zustand. In Folie verschweißt. Sprache: Englisch Gewicht in Gramm: 320.
-
Alessandro Leogrande fra letteratura e inchiesta. Scrivere per i vinti (Lingue e letterature Carocci)
Anbieter: libreriauniversitaria.it, Occhiobello, RO, Italien
Verkäuferbewertung 4 von 5 Sternen
Zustand: NEW.
-
Revista de Occidente, Año 1977, nº 16:: Wagnerismo y nazismo; La plaga de los leguleyos; El hombre pre-programado: La preprogramación en el comportamiento social humano; Entrevista con Stanislaw Lem; El principe Ferricio y la princesa Cristal; Una transposición al futuro. El universo imaginario de Stanislaw Lem; Con Anna Freud en Londres; El sexualismo hernandiano; "La libertad de emprender" de Bernard Krief; Vida y obra de Johan Brouwer; Tiermusik; Crítica: Filosofía española contemporanea; Crítica: Una exposición de Louis Cane; Crítica: Algunos novelistas ingleses de 1976
Verlag: Revista de Occidente., 1977
Anbieter: Alcaná Libros, Madrid, M, Spanien
Verkäuferbewertung 5 von 5 Sternen
tapa blanda. Zustand: Bien. Civilización, progreso y cultura.(008) Revista de Occidente. Madrid. 1977. 20 cm. Encuadernación en tapa blanda de editorial ilustrada. (=3343364=) JY48.
-
Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM ... (Programming and Software Engineering)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 55,36
EUR 14,10 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... (Programming and Software Engineering)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 55,36
EUR 14,10 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Superman: The World (Softcover-Edition)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 24,57
EUR 14,71 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 180 pages. German language. 6.89x0.51x10.35 inches. In Stock.
-
Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, ... (Lecture Notes in Computer Science, 5569)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 57,84
EUR 14,10 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software ... (Lecture Notes in Computer Science, 7320)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 61,56
EUR 14,10 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
A Process Algebraic Approach to Software Architecture Design
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 61,56
EUR 14,10 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... (Lecture Notes in Computer Science, 3965)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 61,56
EUR 14,10 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... Notes in Computer Science, 3465) (Volume 0)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 61,56
EUR 14,10 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, ... (Programming and Software Engineering)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 61,56
EUR 14,10 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software ... (Programming and Software Engineering)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 61,56
EUR 14,10 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software ... (Lecture Notes in Computer Science, 5016)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 61,56
EUR 14,10 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
A Process Algebraic Approach to Software Architecture Design
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 61,56
EUR 14,10 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software ... (Lecture Notes in Computer Science, 2804)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 61,56
EUR 14,10 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... (Lecture Notes in Computer Science, 4486)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 61,56
EUR 14,10 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software ... (Lecture Notes in Computer Science, 3185)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 61,56
EUR 14,10 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
ALESSANDRO LEOGRANDE FRA LETTE (Italian)
Sprache: Italienisch
Verlag: CAROCCI EDITORE S.P.A., 2026
ISBN 10: 8829035580 ISBN 13: 9788829035588
Anbieter: Brook Bookstore, Milano, MI, Italien
Verkäuferbewertung 5 von 5 Sternen
Zustand: new.
-
Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM . / Programming and Software Engineering)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 71,16
EUR 11,77 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2013 edition. 188 pages. 9.25x6.10x0.44 inches. In Stock.
-
Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, Sfm 2010 Bertinoro, Italy, June 21-26, 201
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2010
ISBN 10: 364213677X ISBN 13: 9783642136771
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 77,97
EUR 11,77 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 176 pages. 9.00x6.00x0.25 inches. In Stock.
-
Computer Performance Engineering: 7th European Performance Engineering Workshop, Epew 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2010
ISBN 10: 3642157831 ISBN 13: 9783642157837
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 79,23
EUR 11,77 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 296 pages. 9.20x6.10x0.70 inches. In Stock.
-
Formal Methods for Model-driven Engineering: 12th International School on Formal Health for the Design of Computer, Communication and Software Systems, Sfm 2012, Bertinoro, Italy, June 18-23, 201
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2012
ISBN 10: 364230981X ISBN 13: 9783642309816
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 82,41
EUR 14,71 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2012 edition. 446 pages. 9.21x6.06x0.94 inches. In Stock.
