- 5 resultaten
laagste prijs: € 22,50, hoogste prijs: € 48,37, gemiddelde prijs: € 29,72
1
Formal Methods for Components and Objects - Boer, Frank S. de|Bonsangue, Marcello M.|Graf, Susanne
bestellen
bij AbeBooks.de
€ 48,37
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Boer, Frank S. de|Bonsangue, Marcello M.|Graf, Susanne:

Formal Methods for Components and Objects - pocketboek

2007, ISBN: 3540747915

[EAN: 9783540747918], Neubuch, [PU: Springer Berlin Heidelberg], OBJEKTORIENTIERT (EDV) UML FORMALMETHOD MODELCHECKING MODELING OBJECT PROGRAMMING PROGRAMMINGLANGUAGE VERIFICATION INFORMA… Meer...

NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 4 (von 5)]
dichtslaan (X)
2
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures (Lecture Notes in Computer Science, 4709, Band 4709)
bestellen
bij amazon.de
€ 27,75
verzending: € 3,001
bestellen
Details aangeboden
Gesponsorde link
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures (Lecture Notes in Computer Science, 4709, Band 4709) - pocketboek

2008, ISBN: 9783540747918

Springer, Taschenbuch, Auflage: 2007, 308 Seiten, Publiziert: 2008-02-06T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 0.97 kg, Informatik, IT-Ausbildung & -Berufe, Computer … Meer...

Verzendingskosten:Auf Lager. Les coûts d'expédition peuvent différer des coûts réels. (EUR 3.00) ausverkauf
dichtslaan (X)
3
bestellen
bij ZVAB.com
€ 24,98
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
de Boer, Frank S., Marcello M. Bonsangue und Susanne Graf:
Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures - pocketboek

2007

ISBN: 3540747915

[EAN: 9783540747918], Gebraucht, guter Zustand, [SC: 0.0], [PU: Springer Berlin], VERIFICATION,PROGRAMMING,PROGRAMMING LANGUAGE,MODELING,FORMAL METHOD,MODEL CHECKING,OBJECT,, Neubindung, … Meer...

NOT NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
dichtslaan (X)
4
bestellen
bij buchfreund.de
€ 24,98
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
de Boer, Frank S., Marcello M. Bonsangue und Susanne Graf:
Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures 2007 - gebruikt boek

2007, ISBN: 9783540747918

2007 Neubindung, 2007, Buchrücken und -kanten leicht angestossen 3937207/12 Versandkostenfreie Lieferung verification,programming,programming language,modeling,formal method,model checkin… Meer...

Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Buchpark GmbH, 14959 Trebbin
dichtslaan (X)
5
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures (Lecture Notes in Computer Science) - de, Boer Frank S.
bestellen
bij Achtung-Buecher.de
€ 22,50
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
de, Boer Frank S.:
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures (Lecture Notes in Computer Science) - pocketboek

2001, ISBN: 3540747915

Auflage: 2007 23,0 x 15,4 x 1,8 cm, Taschenbuch 308 Seiten Taschenbuch ex Library Book / aus einer wissenschafltichen Bibliothek /, [KW:BUCH] 2, [PU:Springer,]

Verzendingskosten:Sans frais d'envoi en Allemagne. (EUR 0.00) Mosakowski GbR Halim Koulali und Lubosz Mosakowski, 65428 Rüsselsheim am Main
dichtslaan (X)
1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures (Lecture Notes in Computer Science, 4709, Band 4709)
auteur:
Titel:
ISBN:

9783540747918


This book presents 12 revised lectures given by top-researchers at the 5th International Symposium on Formal Methods for Components and Objects, FMCO 2006, held in Amsterdam, Netherlands in November 2006. It provides a unique combination of ideas on software engineering and formal methods that reflect the current interest in the application or development of formal methods for large scale software systems such as component-based systems and object systems.

Gedetalleerde informatie over het boek. - Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures (Lecture Notes in Computer Science, 4709, Band 4709)


EAN (ISBN-13): 9783540747918
ISBN (ISBN-10): 3540747915
Gebonden uitgave
pocket book
Verschijningsjaar: 2008
Uitgever: de Boer, Frank S. Springer
297 Bladzijden
Gewicht: 0,467 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2007-02-13T23:37:43+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-07-31T14:10:34+02:00 (Amsterdam)
ISBN/EAN: 9783540747918

ISBN - alternatieve schrijfwijzen:
3-540-74791-5, 978-3-540-74791-8
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: frank paul, bons, bon marcel, marcell, graf susanne, boer willem, marcello, röver, böer, roever
Titel van het boek: object, computer, formal methods components objects, netherlands, programming, and out amsterdam, symposium, seven objects, november 1923 1933

Gegevens van de uitgever

Auteur: Frank S. de Boer; Marcello M. Bonsangue; Susanne Graf; Willem-Paul de Roever
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Formal Methods for Components and Objects - 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures
Uitgeverij: Springer; Springer Berlin
300 Bladzijden
Verschijningsjaar: 2007-12-18
Berlin; Heidelberg; DE
Taal: Engels
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VIII, 300 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; formal method; model checking; modeling; object; programming; programming language; verification; Software Engineering; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Operating Systems; Compiler und Übersetzer; Theoretische Informatik; Betriebssysteme; EA

Testing.- Model-Based Testing of Environmental Conformance of Components.- Exhaustive Testing of Exception Handlers with Enforcer.- Model-Based Test Selection for Infinite-State Reactive Systems.- Program Verification.- Verifying Object-Oriented Programs with KeY: A Tutorial.- Rebeca: Theory, Applications, and Tools.- Learning Meets Verification.- Trust and Security.- JACK — A Tool for Validation of Security and Behaviour of Java Applications.- Towards a Formal Framework for Computational Trust.- Models of Computation.- On Recursion, Replication and Scope Mechanisms in Process Calculi.- Bounded Session Types for Object Oriented Languages.- Distributed Programming.- Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive Distributed Monitoring.- Links: Web Programming Without Tiers.

Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:

Laatste soortgelijke boek:
9783540301011 Formal Methods for Components and Objects (Frank S. de Boer; Marcello M. Bonsangue; Susanne Graf; Willem-Paul de Roever)

< naar Archief...