International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings - nouveau livre
2007, ISBN: 3540756973
2007 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Computerprogrammierung und Softwareentwicklung, Theoretische Informatik, CASE; formalmethod; modelche… Plus…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Frais d'envoiVersandkostenfrei 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… Plus…
Hugendubel.de 3540756973. Frais d'envoiShipping 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 - Livres de poche
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… Plus…
ZVAB.com Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)] NOT NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) Details... |
International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings 2007 - livre d'occasion
2007, ISBN: 9783540756972
2007 Gepflegter, sauberer Zustand. 3981660/2 Versandkostenfreie Lieferung model checking,theorem proving,CASE,software engineering,formal method,validation,verification,software architect… Plus…
buchfreund.de |
International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings - livre d'occasion
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… Plus…
booklooker.de |
International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings - nouveau livre
2007, ISBN: 3540756973
2007 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Computerprogrammierung und Softwareentwicklung, Theoretische Informatik, CASE; formalmethod; modelche… Plus…
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… Plus…
International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings - Livres de poche
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… Plus…
International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings 2007 - livre d'occasion
2007, ISBN: 9783540756972
2007 Gepflegter, sauberer Zustand. 3981660/2 Versandkostenfreie Lieferung model checking,theorem proving,CASE,software engineering,formal method,validation,verification,software architect… Plus…
International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings - livre d'occasion
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… Plus…
Données bibliographiques du meilleur livre correspondant
Informations détaillées sur le livre - International Symposium on Fundamentals of Software Engineering
EAN (ISBN-13): 9783540756972
ISBN (ISBN-10): 3540756973
Version reliée
Livre de poche
Date de parution: 2007
Editeur: Springer Berlin Heidelberg
450 Pages
Poids: 0,713 kg
Langue: eng/Englisch
Livre dans la base de données depuis 2007-11-06T00:04:44+01:00 (Paris)
Page de détail modifiée en dernier sur 2023-10-04T16:07:24+02:00 (Paris)
ISBN/EAN: 3540756973
ISBN - Autres types d'écriture:
3-540-75697-3, 978-3-540-75697-2
Autres types d'écriture et termes associés:
Auteur du livre: marjan
Titre du livre: dam engineering, fundamentals, iran, software engineering, international coral reef symposium, international proceedings, tehran, april, ufo symposium
Données de l'éditeur
Auteur: Farhad Arbab; Marjan Sirjani
Titre: 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
Editeur: Springer; Springer Berlin
452 Pages
Date de parution: 2007-10-12
Berlin; Heidelberg; DE
Imprimé / Fabriqué en
Poids: 0,712 kg
Langue: Anglais
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.Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
9783540756989 International Symposium on Fundamentals of Software Engineering (Farhad Arbab; Marjan Sirjani)
< pour archiver...