- 5 resultados
menor preço: € 160,49, preço mais alto: € 222,48, preço médio: € 198,57
1
Logics of Specification Languages - Springer
Encomendar
no/na Thalia.de
€ 203,29
Envio: € 0,001
EncomendarLink patrocinado
Springer:

Logics of Specification Languages - novo libro

2007, ISBN: 9783540741077

By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Specific… mais…

Nr. 24486507. Custos de envio:, Sofort per Download lieferbar, DE. (EUR 0.00)
2
Logics of Specification Languages - Springer
Encomendar
no/na Orellfuessli.ch
CHF 243,90
(aproximadamente € 222,48)
Envio: € 16,421
EncomendarLink patrocinado

Springer:

Logics of Specification Languages - novo libro

2007, ISBN: 9783540741077

By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Specific… mais…

Nr. 24486507. Custos de envio:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , Sofort per Download lieferbar, zzgl. Versandkosten. (EUR 16.42)
3
Logics of Specification Languages - Dines Bjørner; Martin C. Henson
Encomendar
no/na Springer.com
€ 160,49
Envio: € 0,001
EncomendarLink patrocinado
Dines Bjørner; Martin C. Henson:
Logics of Specification Languages - novo libro

ISBN: 9783540741077

By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Specific… mais…

new in stock. Custos de envio:zzgl. Versandkosten. (EUR 0.00)
4
Logics of Specification Languages - Dines Bjørner; Martin C. Henson
Encomendar
no/na lehmanns.de
€ 203,29
Envio: € 0,001
EncomendarLink patrocinado
Dines Bjørner; Martin C. Henson:
Logics of Specification Languages - novo libro

2007, ISBN: 9783540741077

eBooks, eBook Download (PDF), 2008, [PU: Springer Berlin], Seiten: 624, Springer Berlin, 2007

Custos de envio:Download sofort lieferbar. (EUR 0.00)
5
Logics of Specification Languages - Dines Bjørner; Martin C. Henson
Encomendar
no/na lehmanns.de
€ 203,29
Envio: € 0,001
EncomendarLink patrocinado
Dines Bjørner; Martin C. Henson:
Logics of Specification Languages - novo libro

2007, ISBN: 9783540741077

eBooks, eBook Download (PDF), 2008, [PU: Springer Berlin], Springer Berlin, 2007

Custos de envio:Download sofort lieferbar. (EUR 0.00)

1Como algumas plataformas não transmitem condições de envio e estas podem depender do país de entrega, do preço de compra, do peso e tamanho do artigo, de uma possível adesão à plataforma, de uma entrega directa pela plataforma ou através de um terceiro fornecedor (Marketplace), etc., é possível que os custos de envio indicados pelo eurolivro não correspondam aos da plataforma ofertante.

Dados bibliográficos do melhor livro correspondente

Pormenores referentes ao livro

Dados detalhados do livro - Logics of Specification Languages


EAN (ISBN-13): 9783540741077
ISBN (ISBN-10): 3540741070
Ano de publicação: 2007
Editor/Editora: Springer Berlin
624 Páginas
Língua: eng/Englisch

Livro na base de dados desde 2009-08-08T13:53:31+01:00 (Lisbon)
Página de detalhes modificada pela última vez em 2022-09-27T16:35:18+01:00 (Lisbon)
Número ISBN/EAN: 9783540741077

Número ISBN - Ortografia alternativa:
3-540-74107-0, 978-3-540-74107-7
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: henson, martin
Título do livro: what logics mean


Dados da editora

Autor: Dines Bjørner; Martin C. Henson
Título: Monographs in Theoretical Computer Science. An EATCS Series; Logics of Specification Languages
Editora: Springer; Springer Berlin
624 Páginas
Ano de publicação: 2007-12-05
Berlin; Heidelberg; DE
Língua: Inglês
149,79 € (DE)
154,00 € (AT)
177,00 CHF (CH)
Available
XXII, 624 p. 69 illus.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; ASM (Abstract State Machines); Bjørner; CASL (Common Algebraic Specification Language); CafeOBJ; Duration Calculus; Event-B and B specification language; Formal methods; Formal specification languages; Logic; Programming techniques; Proof rules; RSL (RAIS; B; Formal Languages and Automata Theory; Software Engineering; Computer Science Logic and Foundations of Programming; Theory of Computation; Computer Science; Software Engineering; BC

Preludium.- An Overview.- The Languages.- Abstract State Machines for the Classroom.- The event-B Modelling Method: Concepts and Case Studies.- A Methodological Guide to the CafeOBJ Logic.- Casl — the Common Algebraic Specification Language.- Duration Calculus.- The Logic of the RAISE Specification Language.- The Specification Language TLA+.- The Typed Logic of Partial Functions and the Vienna Development Method.- Z Logic and Its Applications.- Postludium.- Reviews.
Unique overview of the key current formal specification languages Includes supplementary material: sn.pub/extras

Outros livros adicionais, que poderiam ser muito similares com este livro:

Último livro semelhante:
9783642093456 Logics of Specification Languages (Bjørner, Dines (Herausgeber); Henson, Martin C. (Herausgeber))


< Para arquivar...