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 …
ebay.ch books--etc 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) Details... |
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 …
buchfreund.de MARZIES Buch- und Medienhandel, 14621 Schönwalde-Glien Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
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 …
Hugendubel.de Costi di spedizione:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
2006, ISBN: 3540489282
[EAN: 9783540489283], Libro nuovo, [SC: 69.56], [PU: Springer], Books
AbeBooks.it Lucky's Textbooks, Dallas, TX, U.S.A. [60577173] [Rating: 5 (su 5)] NEW BOOK. Costi di spedizione: EUR 69.56 Details... |
ISBN: 9783540489283
There is currently no description available, Springer
Springer.com Nr. 978-3-540-48928-3. Costi di spedizione:Worldwide free shipping, , DE. (EUR 0.00) Details... |
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 …
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 …
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 …
2006, ISBN: 3540489282
[EAN: 9783540489283], Libro nuovo, [SC: 69.56], [PU: Springer], Books
ISBN: 9783540489283
There is currently no description available, Springer
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
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.Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9783319471686 Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications (Herausgegeben:Margaria, Tiziana; Steffen, Bernhard)
- 9783319471686 Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications (Herausgegeben:Margaria, Tiziana; Steffen, Bernhard)
- 9783319471693 Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 20 (Bernhard Steffen, Tiziana Margaria)
< Per archiviare...