Gesamtpreis (1 Artikel Artikel):
Versandziel:
bernardo marco (67 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (67)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (47)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (9)
- Gut oder Befriedigend (6)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (5)
Einband
Weitere Eigenschaften
- Erstausgabe (1)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (32)
Sprache (4)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Nabor Pires Camargo: uma Biografia Musical
Verlag: Editora
ISBN 10: 8574071587 ISBN 13: 9788574071589
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
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 Computational Systems Biology
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 27,60
EUR 7,47 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. 540 Illus.
-
Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures
Sprache: Englisch
Verlag: Springer Berlin / Heidelberg, 2003
ISBN 10: 3540200835 ISBN 13: 9783540200833
Anbieter: Better World Books: West, Reno, NV, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
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 Software Architectures (Volume 2804)
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 23,75
EUR 15,41 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 Web Services
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
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.
-
Formal Methods for Web Services
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 48,20
EUR 7,47 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Used. pp. 352 Illus.
-
Formal Methods for Web Services
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: Used. pp. 352.
-
Superman: The World (Softcover-Edition)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 24,58
EUR 14,37 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.
-
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 Hardware Verification
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 71,35
EUR 7,47 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 256 Illus.
-
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 68,72
EUR 11,50 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 75,27
EUR 11,50 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 76,50
EUR 11,50 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 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 79,57
EUR 14,37 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.
-
Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2007, Bertinoro, Italy, May 8-june 2,
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2007
ISBN 10: 3540724826 ISBN 13: 9783540724827
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 80,16
EUR 14,37 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 467 pages. 9.00x6.00x1.00 inches. In Stock.
-
Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2008
ISBN 10: 3540688927 ISBN 13: 9783540688921
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 81,09
EUR 14,37 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 525 pages. 9.00x6.00x1.00 inches. In Stock.
-
Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, Sfm 2011, Bertinoro, Italy, June 13-18, 20
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2011
ISBN 10: 3642214541 ISBN 13: 9783642214547
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 81,33
EUR 14,37 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2011 edition. 527 pages. 9.00x6.25x1.25 inches. In Stock.
-
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, . Lectures (Lecture Notes in Computer Science)
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 92,41
EUR 7,47 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 259.
-
Superman: The World (Hardcover-Edition)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 35,29
EUR 14,37 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 180 pages. German language. 6.81x0.63x10.43 inches. In Stock.
-
Hidalguía. La revista de genealogía, nobleza y armas. Nums. 196 197. Año XXXIV. Mayo Agosto 1986
Sprache: Spanisch
Verlag: Hidalguía, Madrid, 1986
Anbieter: Librería Antonio Azorín, San Lorenzo de El Escorial, M, Spanien
Verkäuferbewertung 5 von 5 Sternen
Encuadernación de tapa blanda. Zustand: Muy bien. Idioma español. Ejemplar nuevo. New. Dimensiones: 24x17 - (294-580 pp. ).
-
Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2015
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2015
ISBN 10: 3319189409 ISBN 13: 9783319189406
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 75,69
EUR 28,75 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2015 edition. 220 pages. 9.25x6.10x0.50 inches. In Stock.
-
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2016, Bertinoro, Italy, June 20-24, 2
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2016
ISBN 10: 3319340956 ISBN 13: 9783319340951
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 76,50
EUR 28,75 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 272 pages. 9.25x6.10x0.62 inches. In Stock.
-
Formal Methods for Hardware Verification
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2006
ISBN 10: 3540343040 ISBN 13: 9783540343042
EUR 60,56
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Presents papers accompanying lectures given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software SystemsFocused on formal techniques for hardware verificationCovers many asp.
-
Formal Methods for Dynamical Systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2013
ISBN 10: 3642388736 ISBN 13: 9783642388736
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2013, held in Bertinoro, Italy, in June 2013. SFM 2013 was devoted to dynamical systems and covered several topics including chaotic dynamics; information theory; systems biology; hybrid systems; quantum computing; and automata-based models and model checking.
