Order Total (1 Item Items):
Shipping Destination:
Bernardo Marco (266 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (266)
- Magazines & Periodicals (No further results match this refinement)
- 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 (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (194)
- As New, Fine or Near Fine (52)
- Very Good or Good (14)
- Fair or Poor (No further results match this refinement)
- As Described (6)
Collectible Attributes
Language (5)
Free Shipping
Seller Location
Seller Rating
-
Nabor Pires Camargo: uma Biografia Musical
Published by Editora
ISBN 10: 8574071587 ISBN 13: 9788574071589
Paperback. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
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.
-
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
Language: English
Published by Springer Berlin / Heidelberg, 2003
ISBN 10: 3540200835 ISBN 13: 9783540200833
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.
-
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
Language: English
Published by Springer Berlin / Heidelberg, 2003
ISBN 10: 3540200835 ISBN 13: 9783540200833
Condition: 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.
-
Condition: New. pp. 540 Illus.
-
Condition: New. pp. 540.
-
-
Condition: As New. Unread book in perfect condition.
-
Condition: New. pp. 540.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
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.
-
Paperback. Condition: Very Good. Trade Paperback. Very Good. Clean, tight.
-
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.
-
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
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.
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
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.
-
Formal Methods for Mobile Computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
Language: English
Published by Springer Berlin / Heidelberg, 2005
ISBN 10: 3540256970 ISBN 13: 9783540256977
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.
-
Italian Pop Culture: Media, Products, Imageries
Language: English
Published by Libreria Editrice Viella, 2018
ISBN 10: 886728939X ISBN 13: 9788867289394
Seller: Libro Co. Italia Srl, San Casciano Val di Pesa, FI, Italy
Seller rating 4 out of 5 stars
Brossura. Condition: new. A cura di Corsini F.Roma, 2018; br., pp. 189.(Kent State University European Studies. 4). Libro.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
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.
-
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: 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.
-
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.
-
International EditionCondition: New. Brand New! Fast Delivery "International Edition " and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 4-6 Working days .and we do have flat rate for up to 2LB. Extra shipping charges will be requested This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
-
![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
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.
-
