- 5 Resultados
precio mínimo: € 42,78, precio máximo: € 83,61, precio promedio: € 63,82
1
International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings - Sirjani, Marjan (Herausgeber); Arbab, Farhad (Herausgeber)
Pedir
por Achtung-Buecher.de
€ 55,60
Envío: € 0,001
PedirEnlace patrocinado
Sirjani, Marjan (Herausgeber); Arbab, Farhad (Herausgeber):

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings - libro nuevo

2007, ISBN: 3540756973

2007 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Computerprogrammierung und Softwareentwicklung, Theoretische Informatik, CASE; formalmethod; modelche… Más…

Gastos de envío:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
2
International Symposium on Fundamentals of Software Engineering
Pedir
por Hugendubel.de
€ 53,49
Envío: € 0,001
PedirEnlace patrocinado
International Symposium on Fundamentals of Software Engineering - Pasta blanda

2007, ISBN: 9783540756972

*International Symposium on Fundamentals of Software Engineering* - International Symposium FSEN 2007 Tehran Iran April 17-19 2007 Proceedings. Auflage 2007 / Taschenbuch für 53.49 € / Au… Más…

3540756973. Gastos de envío:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
3
Pedir
por ZVAB.com
€ 83,61
Envío: € 0,001
PedirEnlace patrocinado
Arbab, Farhad und Marjan Sirjani:
International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings - Pasta blanda

2007

ISBN: 3540756973

[EAN: 9783540756972], Gebraucht, guter Zustand, [SC: 0.0], [PU: Springer Berlin], MODEL CHECKING,THEOREM PROVING,CASE,SOFTWARE ENGINEERING,FORMAL METHOD,VALIDATION,VERIFICATION,SOFTWARE A… Más…

NOT NEW BOOK. Gastos de envío:Versandkostenfrei. (EUR 0.00) Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
4
Pedir
por buchfreund.de
€ 83,61
Envío: € 0,001
PedirEnlace patrocinado
Arbab, Farhad und Marjan Sirjani:
International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings 2007 - libro usado

2007, ISBN: 9783540756972

2007 Gepflegter, sauberer Zustand. 3981660/2 Versandkostenfreie Lieferung model checking,theorem proving,CASE,software engineering,formal method,validation,verification,software architect… Más…

Gastos de envío:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Buchpark GmbH, 14959 Trebbin
5
International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings - Arbab, Farhad und Marjan Sirjani
Pedir
por booklooker.de
€ 42,78
Envío: € 0,001
PedirEnlace patrocinado
Arbab, Farhad und Marjan Sirjani:
International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings - libro usado

2007, ISBN: 9783540756972

[PU: Springer Berlin], Gepflegter, sauberer Zustand. 3981660/2, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2007, Banküberweisung, Kreditkarte, PayPal, Klarna-Sofortüberwei… Más…

Gastos de envío:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH

1Dado que algunas plataformas no nos comunican las condiciones de envío y éstas pueden depender del país de entrega, del precio de compra, del peso y tamaño del artículo, de una posible membresía a la plataforma, de una entrega directa por parte de la plataforma o a través de un tercero (Marketplace), etc., es posible que los gastos de envío indicados por eurolibro/terralibro no concuerden con los de la plataforma ofertante.

Datos bibliográficos del mejor libro coincidente

Detalles del libro
International Symposium on Fundamentals of Software Engineering

This book constitutes the refereed proceedings of the International Symposium on Fundamentals of Software Engineering, FSEN 2007, held in Tehran, Iran, April 17-19, 2007. The 32 revised papers presented were carefully reviewed and selected from 73 submissions. The topics include Models of programs and systems, Software specification, validation and verification, Software architectures and their description languages, Object and multi-agent systems, Coordination and feature interaction, Integration of formal and informal methods, Integration of different formal methods, Component-based development, Service-oriented development, Model checking and theorem proving, Software and hardware verification and CASE tools and tool integration.

Detalles del libro - International Symposium on Fundamentals of Software Engineering


EAN (ISBN-13): 9783540756972
ISBN (ISBN-10): 3540756973
Tapa dura
Tapa blanda
Año de publicación: 2007
Editorial: Springer Berlin Heidelberg
450 Páginas
Peso: 0,713 kg
Idioma: eng/Englisch

Libro en la base de datos desde 2007-11-06T00:04:44+01:00 (Madrid)
Página de detalles modificada por última vez el 2023-10-04T16:07:24+02:00 (Madrid)
ISBN/EAN: 9783540756972

ISBN - escritura alterna:
3-540-75697-3, 978-3-540-75697-2
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: marjan
Título del libro: dam engineering, fundamentals, iran, software engineering, international coral reef symposium, international proceedings, tehran, april, ufo symposium


Datos del la editorial

Autor: Farhad Arbab; Marjan Sirjani
Título: Lecture Notes in Computer Science; Programming and Software Engineering; International Symposium on Fundamentals of Software Engineering - International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings
Editorial: Springer; Springer Berlin
452 Páginas
Año de publicación: 2007-10-12
Berlin; Heidelberg; DE
Impreso en
Peso: 0,712 kg
Idioma: Inglés
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XIII, 452 p.

BC; Software Engineering/Programming and Operating Systems; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; CASE; formal method; model checking; software architecture; software engineering; theorem proving; validation; verification; Logics and Meanings of Programs; Programming Techniques; Models and Principles; Software Engineering; Computer Science Logic and Foundations of Programming; Programming Techniques; Models of Computation; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; EA

Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic.- Slicing Abstractions.- Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme.- Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata.- Is Your Security Protocol on Time ?.- Adapting the UPPAAL Model of a Distributed Lift System.- Zone-Based Universality Analysis for Single-Clock Timed Automata.- Compositional Semantics of System-Level Designs Written in SystemC.- Reusing Requirements: The Need for Extended Variability Models.- Test Selection Criteria for Quantifier-Free First-Order Specifications.- Formal Testing of Systems Presenting Soft and Hard Deadlines.- Automatic Composition of Stateless Components: A Logical Reasoning Approach.- A Model of Component-Based Programming.- Contract Based Multi-party Service Composition.- Regulating Data Exchange in Service Oriented Applications.- A Behavioural Congruence for Web Services.- Logic–Based Detection of Conflicts in Appel Policies.- Hoare Logic for ARM Machine Code.- Action Abstraction in Timed Process Algebra.- Type Abstractions of Name-Passing Processes.- Formal Specification of Multi-agent Systems by Using EUSMs.- Strong Safe Realizability of Message Sequence Chart Specifications.- Implication-Based Approximating Bounded Model Checking.- Logical Bisimulations and Functional Languages.- Efficient State Space Reduction for Automata by Fair Simulation.- Model Checking Temporal Metric Specifications with Trio2Promela.- Design and Implementation of a Dynamic-Reconfigurable Architecture for Protocol Stack.- Vulnerability Analysis in VGBPS Using Prolog.- An Alternative Algorithm for Constraint Automata Product.- A Review on Specifying Software Architectures Using Extended Automata-Based Models.- ArchC#: A New Architecture Description Language for Distributed Systems.- Relationships Meet Their Roles in Object Oriented Programming.

Más, otros libros, que pueden ser muy parecidos a este:

Último libro similar:
9783540756989 International Symposium on Fundamentals of Software Engineering (Farhad Arbab; Marjan Sirjani)


< para archivar...