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…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Gastos de envío:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
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…
Hugendubel.de 3540756973. Gastos de envío:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
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…
ZVAB.com Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)] NOT NEW BOOK. Gastos de envío:Versandkostenfrei. (EUR 0.00) Details... |
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…
buchfreund.de Buchpark GmbH, 14959 Trebbin Gastos de envío:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
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…
booklooker.de |
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…
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…
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…
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…
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…
Datos bibliográficos del mejor libro coincidente
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: 3540756973
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...