B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings: 4355 (Lecture Notes in Computer Science) - Tapa blanda

9783540687603: B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings: 4355 (Lecture Notes in Computer Science)

Tapa blanda

ISBN 10: 3540687602 ISBN 13: 9783540687603

Editorial: Springer, 2007

Ver todas las copias de esta edici�n del ISBN

1 Usado

De EUR 102,42

12 Nuevo

De EUR 52,14

This book constitutes the refereed proceedings of the 7th International Conference of B Users, B 2007, held in Besan�on, France, January 2007. Coverage in this volume includes industrial applications and case studies using B, integration of model-based specification methods in the software development lifecycle, derivation of hardware-software architecture from model-based specifications, and validating requirements through formal models.

"Sinopsis" puede pertenecer a otra edici�n de este libro.

Rese�a del editor

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Editorial: Springer
A�o de publicaci�n: 2007
Idioma: Ingl�s
ISBN 10: 3540687602
ISBN 13: 9783540687603
Encuadernaci�n: Tapa blanda
N�mero de p�ginas: 312
Editor: Julliand Jacques
Contacto del fabricante: no disponible
Persona responsable: CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Comprar usado

Condici�n: Como Nuevo

Like New

Ver este art�culo

EUR 102,42

Convertir moneda

EUR 28,91 gastos de env�o desde Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de env�o

A�adir al carrito

Comprar nuevo

Ver este art�culo

EUR 52,14

Convertir moneda

EUR 3,39 gastos de env�o en Estados Unidos de America

Destinos, gastos y plazos de env�o

A�adir al carrito

Otras ediciones populares con el mismo t�tulo

9783540834144: B 2007: Formal Specification and Development in B

Edici�n Destacada

ISBN 10: 3540834141 ISBN 13: 9783540834144
Editorial: Springer, 2008
Tapa blanda

Resultados de la b�squeda para B 2007: Formal Specification and Development in B:...

Imagen de archivo

B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings (Lecture Notes in Computer Science, 4355)

Publicado por Springer, 2006

ISBN 10: 3540687602 ISBN 13: 9783540687603

Nuevo Tapa blanda

Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. N� de ref. del art�culo: ABLIING23Mar3113020174983

Contactar al vendedor

Comprar nuevo

EUR 52,14

Convertir moneda

Gastos de env�o: EUR 3,39

A Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen de archivo

B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings (Lecture Notes in Computer Science, 4355)

Publicado por Springer, 2006

ISBN 10: 3540687602 ISBN 13: 9783540687603

Nuevo Tapa blanda

Librería: Best Price, Torrance, CA, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. SUPER FAST SHIPPING. N� de ref. del art�culo: 9783540687603

Contactar al vendedor

Comprar nuevo

EUR 48,15

Convertir moneda

Gastos de env�o: EUR 7,63

A Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen de archivo

B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings (Lecture Notes in Computer Science, 4355)

Publicado por Springer, 2006

ISBN 10: 3540687602 ISBN 13: 9783540687603

Nuevo Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. In. N� de ref. del art�culo: ria9783540687603_new

Contactar al vendedor

Comprar nuevo

EUR 60,52

Convertir moneda

Gastos de env�o: EUR 13,85

De Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen de archivo

B 2007: Formal Specification and Development in B : 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings

Julliand, Jacques

Publicado por Springer 2006-12, 2006

ISBN 10: 3540687602 ISBN 13: 9783540687603

Nuevo PF

Librería: Chiron Media, Wallingford, Reino Unido

Calificaci�n del vendedor: 4 de 5 estrellas

PF. Condici�n: New. N� de ref. del art�culo: 6666-IUK-9783540687603

Contactar al vendedor

Comprar nuevo

EUR 56,87

Convertir moneda

Gastos de env�o: EUR 17,91

De Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: 10 disponibles

A�adir al carrito

Imagen del vendedor

B 2007: Formal Specification and Development in B

Olga Kouchnarenko

Publicado por Springer Berlin Heidelberg Dez 2006, 2006

ISBN 10: 3540687602 ISBN 13: 9783540687603

Nuevo Taschenbuch

Impresi�n bajo demanda

Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 7th International Conference of B Users, B 2007, held in Besan�on, France, January 2007. Coverage in this volume includes industrial applications and case studies using B, integration of model-based specification methods in the software development lifecycle, derivation of hardware-software architecture from model-based specifications, and validating requirements through formal models. 312 pp. Englisch. N� de ref. del art�culo: 9783540687603

Contactar al vendedor