- 5 Risultati
prezzo più basso: € 26,23, prezzo più alto: € 57,23, prezzo medio: € 45,75
1
Ordina
da alibris.co.uk
€ 38,29
Ordina
Dettagli & spedizione
Link sponsorizzato
Broy, Manfred, Bjorner, Dines, Pottosin, Igor V.:

Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993. Proceedings (Lecture Notes in Computer Science, 735) - edizione con copertina flessibile

1993, ISBN: 9783540573166

Trade paperback, Gebraucht, guter Zustand, Ships from UK in 48 hours or less (usually same day). Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library… Altro …

Costi di spedizione:Costi di spedizione aggiuntivi Waltham Abbey, Essex, Phatpocket Limited
Chiudere (X)
2
Formal Methods in Programming and Their Applications
Ordina
da Springer.com
€ 53,49
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Formal Methods in Programming and Their Applications - nuovo libro

ISBN: 9783540573166

This volume comprises the papers selected for presentation at the international conference on Formal Methods in Programming and Their Applications, held in Academgorodok, Novosibirsk, Rus… Altro …

Nr. 978-3-540-57316-6. Costi di spedizione:Worldwide free shipping, , DE. (EUR 0.00)
Chiudere (X)
3
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. ... Notes in Computer Science, 735, Band 735) - Broy, Manfred, Bjorner, Dines, Pottosin, Igor V.
Ordina
da amazon.de
€ 57,23
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Broy, Manfred, Bjorner, Dines, Pottosin, Igor V.:
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. ... Notes in Computer Science, 735, Band 735) - edizione con copertina flessibile

2008

ISBN: 9783540573166

Springer, Taschenbuch, Auflage: 1993, 452 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, 1.39 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Büc… Altro …

Costi di spedizione:Auf Lager, Lieferung von Amazon. (EUR 0.00) Amazon.de
Chiudere (X)
4
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. ... Notes in Computer Science, 735, Band 735) - Broy, Manfred, Bjorner, Dines, Pottosin, Igor V.
Ordina
da amazon.de
€ 26,23
Spedizione: € 3,001
Ordina
Dettagli del offerente
Link sponsorizzato
Broy, Manfred, Bjorner, Dines, Pottosin, Igor V.:
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. ... Notes in Computer Science, 735, Band 735) - edizione con copertina flessibile

2008, ISBN: 9783540573166

Springer, Taschenbuch, Auflage: 1993, 452 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, 1.39 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Büc… Altro …

Costi di spedizione:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) ausverkauf
Chiudere (X)
5
Formal Methods in Programming and Their Applications - Dines Bjorner/ Manfred Broy/ Igor V. Pottosin
Ordina
da Hugendubel.de
€ 53,49
Ordina
Dettagli & spedizione
Link sponsorizzato
Dines Bjorner/ Manfred Broy/ Igor V. Pottosin:
Formal Methods in Programming and Their Applications - edizione con copertina flessibile

ISBN: 9783540573166

*Formal Methods in Programming and Their Applications* - International Conference Academgorodok Novosibirsk Russia June 28 - July 2 1993. Proceedings. Auflage 1993 / Taschenbuch für 53.49… Altro …

Costi di spedizione:Does not ship to your country., Costi di spedizione aggiuntivi
Chiudere (X)
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
Formal Methods in Programming and Their Applications
Autore:
Titolo:
ISBN:

354057316X


This volume comprises the papers selected for presentationat the international conference on Formal Methods inProgramming and Their Applications, held in Academgorodok,Novosibirsk, Russia, June-July 1993. The conference wasorganized by the Institute of Informatics Systems of theSiberian Division of the Russian Academy of Sciences and wasthe first forum organized by the Institute which wasentirely dedicated to formal methods.The main scientific tracks of the conference were centeredaround formal methods of program development and programconstruction. The papers in the book are grouped intothe following parts:- formal semantics methods- algebraic specification methods- semantic program analysis and abstract interpretation- semantics of parallelism- logic of programs- software specification and verification- transformational development and program synthesis.

Informazioni dettagliate del libro - Formal Methods in Programming and Their Applications


EAN (ISBN-13): 9783540573166
ISBN (ISBN-10): 354057316X
Copertina flessibile
Anno di pubblicazione: 1993
Editore: Springer Berlin Heidelberg
452 Pagine
Peso: 0,678 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2007-10-18T13:03:22+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-01-20T22:54:19+01:00 (Zurich)
ISBN/EAN: 354057316X

ISBN - Stili di scrittura alternativi:
3-540-57316-X, 978-3-540-57316-6
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : manfred broy, dines, potto
Titolo del libro: formal methods, novosibirsk, programming application, computer applications, international 1993 1998, lecture, notes and methods, international conference proceedings, method programming

Dati dell'editore

Autore: Dines Bjørner; Manfred Broy; Igor V. Pottosin
Titolo: Lecture Notes in Computer Science; Formal Methods in Programming and Their Applications - International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings
Editore: Springer; Springer Berlin
438 Pagine
Anno di pubblicazione: 1993-10-05
Berlin; Heidelberg; DE
Lingua: Inglese
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
IX, 438 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Formale Methoden; Programmieren; Programmlogik; Programmsemantik; Programmspezifikation; algorithms; communication; formal method; formal methods; logic of programs; program semantics; program specification; programming; semantics; verification; Software Engineering; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Compilers and Interpreters; Symbolic and Algebraic Manipulation; Theoretische Informatik; Compiler und Übersetzer; Mathematik für Informatiker; EA

Theory of domains and nearby.- Predicative programming — A survey.- A three-valued logic for refinement.- A compositional semantics of combining forms for gamma programs.- Algebraic properties of loop invariants.- An approach to parameterized first-order specifications: Semantics, correctness, parameter passing.- Algebraic modelling of imperative languages with pointers.- Galois connection based abstract interpretations for strictness analysis.- Efficient chaotic iteration strategies with widenings.- Semantic analysis of interval congruences.- Polymorphic typing for call-by-name semantics.- Logic program testing based on abstract interpretation.- Analysis of some semantic properties for programs of the applicative language AL.- Communication as unification in process algebras: Operational semantics.- Functional development of massively parallel programs.- Observing some properties of event structures.- The other linear logic.- Duration Calculi: An overview.- A unique formalism for specifying and designing objects in a parallel environment.- On the smooth calculation of relational recursive expressions out of first-order non-constructive specifications involving quantifiers.- Saturation replaces induction for a miniscoped linear temporal logic.- A formal approach to requirements engineering.- A two-phase approach to reverse engineering using formal methods.- Algebraically provable specification of optimized compilations.- Formal derivation of an error-detecting distributed data scheduler using Changeling.- REAL92: A combined specification language for real-time concurrent systems and properties.- Algebraic calculation of graph and sorting algorithms.- Automatical synthesis of programs with recursions.- Parsing in Isbes.
< Per archiviare...