Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993. Proceedings (Lecture Notes in Computer Science, 735) - Livro de bolso
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… mais…
alibris.co.uk |
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… mais…
Springer.com Nr. 978-3-540-57316-6. Custos de envio:Worldwide free shipping, , DE. (EUR 0.00) Details... |
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. ... Notes in Computer Science, 735, Band 735) - Livro de bolso
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… mais…
amazon.de |
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. ... Notes in Computer Science, 735, Band 735) - Livro de bolso
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… mais…
amazon.de ausverkauf Custos de envio:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
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… mais…
Hugendubel.de Custos de envio:Does not ship to your country., mais custos de envio Details... |
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993. Proceedings (Lecture Notes in Computer Science, 735) - Livro de bolso
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… mais…
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… mais…
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. ... Notes in Computer Science, 735, Band 735) - Livro de bolso
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… mais…
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. ... Notes in Computer Science, 735, Band 735) - Livro de bolso
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… mais…
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… mais…
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - Formal Methods in Programming and Their Applications
EAN (ISBN-13): 9783540573166
ISBN (ISBN-10): 354057316X
Livro de bolso
Ano de publicação: 1993
Editor/Editora: Springer Berlin Heidelberg
452 Páginas
Peso: 0,678 kg
Língua: eng/Englisch
Livro na base de dados desde 2007-10-18T09:03:22-02:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2024-01-20T18:54:19-03:00 (Sao Paulo)
Número ISBN/EAN: 9783540573166
Número ISBN - Ortografia alternativa:
3-540-57316-X, 978-3-540-57316-6
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: manfred broy, dines, potto
Título do livro: formal methods, novosibirsk, programming application, computer applications, international 1993 1998, lecture, notes and methods, international conference proceedings, method programming
Dados da editora
Autor: Dines Bjørner; Manfred Broy; Igor V. Pottosin
Título: Lecture Notes in Computer Science; Formal Methods in Programming and Their Applications - International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings
Editora: Springer; Springer Berlin
438 Páginas
Ano de publicação: 1993-10-05
Berlin; Heidelberg; DE
Impresso / Feito em
Peso: 1,390 kg
Língua: Inglês
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
IX, 438 p.
BC; Software Engineering/Programming and Operating Systems; 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; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Engineering; Programming Languages, Compilers, Interpreters; Symbolic and Algebraic Manipulation; 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.Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
9783540480563 Formal Methods in Programming and Their Applications (Dines Bjørner; Manfred Broy; Igor V. Pottosin)
- 9783540480563 Formal Methods in Programming and Their Applications (Dines Bjørner; Manfred Broy; Igor V. Pottosin)
- 9780387573168 Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993 : Proceedings (Lecture Notes in Computer Science, 735) (Manfred Broy, Dines Bjorner, Manfred Broy, Dines Bjorner, Igor V. Pottosin)
< Para arquivar...