- 5 Risultati
prezzo più basso: € 43,70, prezzo più alto: € 58,71, prezzo medio: € 53,13
1
Nutzung von Anwendungen formaler Methoden - 9783540489283 - Tiziana Maragria, Bernhard Steffen
Ordina
da ebay.ch
CHF 42,61
(indicativi € 43,70)
Spedizione: € 13,061
OrdinaLink sponsorizzato
Tiziana Maragria, Bernhard Steffen:

Nutzung von Anwendungen formaler Methoden - 9783540489283 - edizione con copertina flessibile

ISBN: 9783540489283

Leveraging Applications of Formal Methods Please note: this item is printed on demand and will take extra time before it can be dispatched to you (up to 20 working days).First Internat… Altro …

99.8, Zahlungsarten: Paypal, APPLE_PAY, Google Pay, Visa, Mastercard, American Express. Costi di spedizione:Versand zum Fixpreis, [SHT: Expressversand], GU12 *** Aldershot, [TO: Großbritannien, Antigua und Barbuda, Österreich, Belgien, Bulgarien, Republik Kroatien, Zypern, Tschechische Republik, Dänemark, Estland, Finnland, Frankreich, Deutschland, Griechenland, Ungarn, Irland, Italien, Lettland, Litauen, Luxemburg, Malta, Niederlande, Polen, Portugal, Rumänien, Slowakei, Slowenien, Spanien, Schweden, Australien, USA, Bahrain, Kanada, Brasilien, Japan, Neuseeland, China, Israel, Hongkong, Norwegen, Indonesien, Malaysia, Mexiko, Singapur, Südkorea, Schweiz, Taiwan, Thailand, Bangladesch, Belize, Bermuda, Bolivien, Barbados, Brunei Darussalam, Kaiman-Inseln, Dominica, Ecuador, Ägypten, Guernsey, Gibraltar, Guadeloupe, Grenada, Französisch-Guayana, Island, Jersey, Jordanien, Kambodscha, St. Kitts und Nevis, St. Lucia, Liechtenstein, Sri Lanka, Macau, Monaco, Malediven, Montserrat, Martinique, Nicaragua, Oman, Pakistan, Peru, Paraguay, Réunion, Turks- und Caicosinseln, Aruba, Saudi-Arabi. (EUR 13.06) books--etc
2
Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
Ordina
da buchfreund.de
€ 58,71
Spedizione: € 0,001
OrdinaLink sponsorizzato
Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers - nuovo libro

2006, ISBN: 9783540489283

Kartoniert, 212 Seiten, 235mm x 155mm x 12mm, Sprache(n): eng This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Application… Altro …

Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES Buch- und Medienhandel, 14621 Schönwalde-Glien
3
Leveraging Applications of Formal Methods
Ordina
da Hugendubel.de
€ 53,49
Spedizione: € 0,001
OrdinaLink sponsorizzato
Leveraging Applications of Formal Methods - edizione con copertina flessibile

2006

ISBN: 9783540489283

*Leveraging Applications of Formal Methods* - First International Symposium ISoLA 2004 Paphos Cyprus October 30 - November 2 2004 Revised Selected Papers. Auflage 2006 / Taschenbuch für 5… Altro …

Costi di spedizione:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
4
Ordina
da AbeBooks.it
€ 56,28
Spedizione: € 69,561
OrdinaLink sponsorizzato
Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 4313) - edizione con copertina flessibile

2006, ISBN: 3540489282

[EAN: 9783540489283], Libro nuovo, [SC: 69.56], [PU: Springer], Books

NEW BOOK. Costi di spedizione: EUR 69.56 Lucky's Textbooks, Dallas, TX, U.S.A. [60577173] [Rating: 5 (su 5)]
5
Leveraging Applications of Formal Methods
Ordina
da Springer.com
€ 53,49
Spedizione: € 0,001
OrdinaLink sponsorizzato
Leveraging Applications of Formal Methods - nuovo libro

ISBN: 9783540489283

There is currently no description available, Springer

Nr. 978-3-540-48928-3. Costi di spedizione:Worldwide free shipping, , DE. (EUR 0.00)

1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
Leveraging Applications of Formal Methods

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, held in Paphos, Cyprus in October/November 2004. The 12 revised full papers discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems.

Informazioni dettagliate del libro - Leveraging Applications of Formal Methods


EAN (ISBN-13): 9783540489283
ISBN (ISBN-10): 3540489282
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2006
Editore: Springer Berlin Heidelberg
187 Pagine
Peso: 0,330 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2007-05-25T09:31:31+02:00 (Rome)
Pagina di dettaglio ultima modifica in 2023-12-02T20:43:08+01:00 (Rome)
ISBN/EAN: 9783540489283

ISBN - Stili di scrittura alternativi:
3-540-48928-2, 978-3-540-48928-3
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : margaria, bernhard spring
Titolo del libro: october 2004, paphos, isola, cyprus together, november 1923 1933, leveraging


< Per archiviare...