- 5 resultados
menor preço: € 6.19, preço mais alto: € 111.22, preço médio: € 74.19
1
ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings - Treharne, Helen (Herausgeber); Schneider, Steve (Herausgeber); Henson, Martin (Herausgeber); King, Steve (Herausgeber)
Encomendar
no/na Achtung-Buecher.de
€ 111.22
Envio: € 0.001
EncomendarLink patrocinado
Treharne, Helen (Herausgeber); Schneider, Steve (Herausgeber); Henson, Martin (Herausgeber); King, Steve (Herausgeber):

ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings - nuovo livro

2005, ISBN: 3540255591

2005 Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, Informatik, Theoretische Informatik, Bmethod; UML; XML; ZSpecificationLanguage; ZML; algorithms; formalmethods; for… mais…

Custos de envio:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
2
ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings - Treharne, Helen (Herausgeber); Schneider, Steve (Herausgeber); Henson, Martin (Herausgeber); King, Steve (Herausgeber)
Encomendar
no/na Achtung-Buecher.de
€ 111.22
Envio: € 0.001
EncomendarLink patrocinado

Treharne, Helen (Herausgeber); Schneider, Steve (Herausgeber); Henson, Martin (Herausgeber); King, Steve (Herausgeber):

ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings - nuovo livro

2005, ISBN: 3540255591

2005 Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, Informatik, Theoretische Informatik, Bmethod; UML; XML; ZSpecificationLanguage; ZML; algorithms; formalmethods; for… mais…

Custos de envio:No shipping costs within Germany. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
3
ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings - Treharne, Helen (Herausgeber); Schneider, Steve (Herausgeber); Henson, Martin (Herausgeber); King, Steve (Herausgeber)
Encomendar
no/na Achtung-Buecher.de
€ 111.22
Envio: € 0.001
EncomendarLink patrocinado
Treharne, Helen (Herausgeber); Schneider, Steve (Herausgeber); Henson, Martin (Herausgeber); King, Steve (Herausgeber):
ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings - nuovo livro

2005

ISBN: 3540255591

2005 Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, Informatik, Theoretische Informatik, Bmethod; UML; XML; ZSpecificationLanguage; ZML; algorithms; formalmethods; for… mais…

Custos de envio:Sans frais d'envoi en Allemagne. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
4
Encomendar
no/na alibris.co.uk
€ 31.10
EncomendarLink patrocinado
Treharne, Helen [Editor]; King, Steve [Editor]; Henson, Martin [Editor]; Schneider, Steve [Editor];:
Zb 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, Uk, April 13-15, 2005, Proceedings (Lecture Notes in Computer Science) - Livro de bolso

2008, ISBN: 9783540255598

Paperback, Gebraucht, sehr guter Zustand, Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding., [PU: Springer]

Custos de envio:mais custos de envio Spring Branch, TX, GuthrieBooks
5
Encomendar
no/na Biblio.co.uk
$ 6.60
(aproximadamente € 6.19)
Envio: € 4.391
EncomendarLink patrocinado
gesellschaft für christiche erziehung::
zb zumbeispiel gesamt thema die kirche 4. jahrgang - livro usado

1969, ISBN: 9783540255598

verlag die spur berlin & schleswig-holstein, 1969.., verlag die spur berlin & schleswig-holstein, 1969., 0

Custos de envio: EUR 4.39 Buchantiquariat Clerc Fremin

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 item, de uma possível adesão à plataforma, de uma entrega direta pela plataforma ou através de um fornecedor terceirizado (Marketplace), etc., é possível que os custos de envio indicados pela terralivro não correspondam aos da plataforma ofertante.

Dados bibliográficos do melhor livro correspondente

Pormenores referentes ao livro
ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings: 3455 (Lecture Notes in Computer Science, 3455)

This book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, UK in April 2005.The 25 revised full papers presented together with extended abstracts of 2 invited papers were carefully reviewed and selected for inclusion in the book. The papers document the recent advances for the Z formal specification notation and for the B method, ranging from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.

Dados detalhados do livro - ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings: 3455 (Lecture Notes in Computer Science, 3455)


EAN (ISBN-13): 9783540255598
ISBN (ISBN-10): 3540255591
Livro de bolso
Ano de publicação: 2005
Editor/Editora: Springer
516 Páginas
Peso: 0,772 kg
Língua: eng/Englisch

Livro na base de dados desde 2007-03-28T14:29:35-03:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2024-02-15T11:40:47-03:00 (Sao Paulo)
Número ISBN/EAN: 9783540255598

Número ISBN - Ortografia alternativa:
3-540-25559-1, 978-3-540-25559-8
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: martin schneider, helen schneider, steve martin, henson, king were, king hele, held
Título do livro: 2005 formal specification development, april april, die kirche, gui


Dados da editora

Autor: Helen Treharne; Steve King; Martin Henson; Steve Schneider
Título: Lecture Notes in Computer Science; Programming and Software Engineering; ZB 2005: Formal Specification and Development in Z and B - 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings
Editora: Springer; Springer Berlin
496 Páginas
Ano de publicação: 2005-04-07
Berlin; Heidelberg; DE
Língua: Inglês
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
XVI, 496 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Informatik; B method; UML; XML; Z specification language; ZML; algorithms; formal methods; formal specification; formal verification; program analysis; program development; refinement; system specification; systems design; systems development; Theory of Computation; Software Engineering; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Software Engineering; EA

Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification —Extended Abstract—.- Visualising Larger State Spaces in Pro B.- Non-atomic Refinement in Z and CSP.- Process Refinement in B.- CZT: A Framework for Z Tools.- Model Checking Z Specifications Using SAL.- Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ.- A Stepwise Development of the Peterson’s Mutual Exclusion Algorithm Using B Abstract Systems.- An Extension of Event B for Developing Grid Systems.- The Challenge of Probabilistic Event B—Extended Abstract—.- Requirements as Conjectures: Intuitive DVD Menu Navigation.- A Prospective-Value Semantics for the GSL.- Retrenchment and the B-Toolkit.- Refinement and Reachability in Event_B.- A Rigorous Foundation for Pattern-Based Design Models.- An Object-Oriented Structuring for Z Based on Views.- Component Reuse in B Using ACL2.- GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties.- Formal Verification of a Type Flaw Attack on a Security Protocol Using Object-Z.- Using B as a High Level Programming Language in an Industrial Project: Roissy VAL.- Development via Refinement in Probabilistic B — Foundation and Case Study.- Formal Program Development with Approximations.- Practical Data Refinement for the Z Schema Calculus.- Slicing Object-Z Specifications for Verification.- Checking JML Specifications with B Machines.- Including Design Guidelines in the Formal Specification of Interfaces in Z.- Some Guidelines for Formal Development of Web-Based Applications in B-Method.

< Para arquivar...