- 5 Ergebnisse
Kleinster Preis: € 42,78, größter Preis: € 83,61, Mittelwert: € 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)
Bestellen
bei Achtung-Buecher.de
€ 55,60
Versand: € 0,001
Bestellengesponserter Link
Sirjani, Marjan (Herausgeber); Arbab, Farhad (Herausgeber):

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

2007, ISBN: 3540756973

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

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
2
International Symposium on Fundamentals of Software Engineering
Bestellen
bei Hugendubel.de
€ 53,49
Versand: € 0,001
Bestellengesponserter Link
International Symposium on Fundamentals of Software Engineering - Taschenbuch

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… Mehr…

3540756973. Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
3
Bestellen
bei ZVAB.com
€ 83,61
Versand: € 0,001
Bestellengesponserter Link
Arbab, Farhad und Marjan Sirjani:
International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings - Taschenbuch

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… Mehr…

NOT NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
4
Bestellen
bei buchfreund.de
€ 83,61
Versand: € 0,001
Bestellengesponserter Link
Arbab, Farhad und Marjan Sirjani:
International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings 2007 - gebrauchtes Buch

2007, ISBN: 9783540756972

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

Versandkosten: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
Bestellen
bei booklooker.de
€ 42,78
Versand: € 0,001
Bestellengesponserter Link
Arbab, Farhad und Marjan Sirjani:
International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings - gebrauchtes Buch

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… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
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.

Detailangaben zum Buch - International Symposium on Fundamentals of Software Engineering


EAN (ISBN-13): 9783540756972
ISBN (ISBN-10): 3540756973
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2007
Herausgeber: Springer Berlin Heidelberg
450 Seiten
Gewicht: 0,713 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-11-06T00:04:44+01:00 (Vienna)
Detailseite zuletzt geändert am 2023-10-04T16:07:24+02:00 (Vienna)
ISBN/EAN: 3540756973

ISBN - alternative Schreibweisen:
3-540-75697-3, 978-3-540-75697-2
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: marjan
Titel des Buches: dam engineering, fundamentals, iran, software engineering, international coral reef symposium, international proceedings, tehran, april, ufo symposium


Daten vom Verlag:

Autor/in: Farhad Arbab; Marjan Sirjani
Titel: 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
Verlag: Springer; Springer Berlin
452 Seiten
Erscheinungsjahr: 2007-10-12
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Deutschland.
Gewicht: 0,712 kg
Sprache: Englisch
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.

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783540756989 International Symposium on Fundamentals of Software Engineering (Farhad Arbab; Marjan Sirjani)


< zum Archiv...