International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings - novo libro
2007, ISBN: 3540756973
2007 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Computerprogrammierung und Softwareentwicklung, Theoretische Informatik, CASE; formalmethod; modelche… mais…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Custos de envio: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… mais…
Hugendubel.de 3540756973. Custos de envio: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 - Livro de bolso
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… mais…
ZVAB.com Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)] NOT NEW BOOK. Custos de envio:Versandkostenfrei. (EUR 0.00) Details... |
International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings 2007 - livro 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… mais…
buchfreund.de Buchpark GmbH, 14959 Trebbin Custos de envio: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 - livro 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… mais…
booklooker.de |
International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings - novo libro
2007, ISBN: 3540756973
2007 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Computerprogrammierung und Softwareentwicklung, Theoretische Informatik, CASE; formalmethod; modelche… mais…
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… mais…
International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings - Livro de bolso
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… mais…
International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings 2007 - livro 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… mais…
International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings - livro 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… mais…
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - International Symposium on Fundamentals of Software Engineering
EAN (ISBN-13): 9783540756972
ISBN (ISBN-10): 3540756973
Livro de capa dura
Livro de bolso
Ano de publicação: 2007
Editor/Editora: Springer Berlin Heidelberg
450 Páginas
Peso: 0,713 kg
Língua: eng/Englisch
Livro na base de dados desde 2007-11-05T23:04:44+00:00 (Lisbon)
Página de detalhes modificada pela última vez em 2023-10-04T15:07:24+01:00 (Lisbon)
Número ISBN/EAN: 9783540756972
Número ISBN - Ortografia alternativa:
3-540-75697-3, 978-3-540-75697-2
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: marjan
Título do livro: dam engineering, fundamentals, iran, software engineering, international coral reef symposium, international proceedings, tehran, april, ufo symposium
Dados da editora
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
Editora: Springer; Springer Berlin
452 Páginas
Ano de publicação: 2007-10-12
Berlin; Heidelberg; DE
Impresso / Feito em
Peso: 0,712 kg
Língua: 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.Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
9783540756989 International Symposium on Fundamentals of Software Engineering (Farhad Arbab; Marjan Sirjani)
< Para arquivar...