Order Total (1 Item Items):
Shipping Destination:
Bernardo Marco (265 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (263)
- Magazines & Periodicals (1)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (1)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (203)
- As New, Fine or Near Fine (53)
- Very Good or Good (6)
- Fair or Poor (No further results match this refinement)
- As Described (3)
Collectible Attributes
Language (5)
Free Shipping
Seller Location
Seller Rating
-
Condition: 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.
-
![Seller image for 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]. for sale by 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].
Language: English
Published by Berlin / Heidelberg, Springer, 2010
ISBN 10: 3540343040 ISBN 13: 9783540343042
Seller: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Germany
Association Member: GIAQ
Seller rating 5 out of 5 stars
Softcover/Paperback. Condition: Sehr gut. 256 p. Very good. Shrink wrapped. / Sehr guter Zustand. In Folie verschweißt. Sprache: Englisch Gewicht in Gramm: 320.
-
Il lupo vegetariano
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New.
-
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
Language: English
Published by Springer Berlin / Heidelberg, 2004
ISBN 10: 3540230688 ISBN 13: 9783540230687
Condition: 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.
-
Condition: New. Manieri, Marco (illustrator).
-
Condition: 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.
-
Paperback. Condition: New.
-
-
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Condition: New.
-
Italian Pop Culture: Media, Products, Imageries (Kent State University European Studies)
Seller: libreriauniversitaria.it, Occhiobello, RO, Italy
Seller rating 4 out of 5 stars
Condition: NEW.
-
SCIA e conferenza di servizi. I decreti attuativi della ĞLegge Madiağ in materia di Conferenza di servizi e Segnalazione certificata di inizio attività (SCIA)
Language: Italian
Published by Nuova Giuridica (10 aprile 2017), 2017
ISBN 10: 886383234X ISBN 13: 9788863832341
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New.
-
-
Condition: 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.
-
Condition: 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.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
-
Formal Methods for Web Services : 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
Language: English
Published by Springer Berlin / Heidelberg, 2009
ISBN 10: 364201917X ISBN 13: 9783642019173
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: 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.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
-
Condition: As New. Unread book in perfect condition.
-
Condition: New.
-
-
-
Condition: New.
-
-
Paperback or Softback. Condition: New. Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Book.
-
-
Formal Methods for Multicore Programming
Language: English
Published by Springer International Publishing AG, CH, 2015
ISBN 10: 3319189409 ISBN 13: 9783319189406
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. 2015 ed.
