- 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


Dati dell'editore

Autore: Tiziana Maragria
Titolo: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Leveraging Applications of Formal Methods - First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
Editore: Springer; Springer Berlin
197 Pagine
Anno di pubblicazione: 2006-11-03
Berlin; Heidelberg; DE
Peso: 0,454 kg
Lingua: Inglese
54,99 € (DE)

BC; Software Engineering/Programming and Operating Systems; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; Unified Modeling Language (UML); algorithms; classification; deductive verification; formal analysis; formal methods; formal modeling; hybrid petri nets; logical constraints; model checking; modeling; operating system; optimization; theorem proving; verification; Logics and Meanings of Programs; Software Engineering; Programming Languages, Compilers, Interpreters; Special Purpose and Application-Based Systems; Software Engineering; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Special Purpose and Application-Based Systems; Theoretische Informatik; Compiler und Übersetzer; Wissensbasierte Systeme, Expertensysteme; EA

Interaction and Coordination of Tools for Structured Data.- Modelling Coordination in Biological Systems.- A Rule Markup Language and Its Application to UML.- Using XML Transformations for Enterprise Architectures.- Classification and Utilization of Abstractions for Optimization.- On the Correctness of Transformations in Compiler Back-Ends.- Accurate Theorem Proving for Program Verification.- Designing Safe, Reliable Systems Using Scade.- Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings.- Static Timing Analysis of Real-Time Operating System Code.- A Case Study in Domain-Customized Model Checking for Real-Time Component Software.- Models for Contract Conformance.

< Per archiviare...