Muutke küpsiste eelistusi

E-raamat: Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Edited by , Edited by , Edited by
  • Formaat: PDF+DRM
  • Sari: Lecture Notes in Computer Science 4700
  • Ilmumisaeg: 04-Sep-2007
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9783540752219
Teised raamatud teemal:
  • Formaat - PDF+DRM
  • Hind: 55,56 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th BirthdaysSuurem pilt
  • Formaat: PDF+DRM
  • Sari: Lecture Notes in Computer Science 4700
  • Ilmumisaeg: 04-Sep-2007
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9783540752219
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

This Festschrift volume is published to honour both Dines Bjorner and Zhou Chaochen on the occasion of their 70th birthdays. The volume includes 25 refereed papers by leading researchers, current and former colleagues, who congregated at a celebratory symposium held in Macao, China, in the course of the International Colloquium on Theoretical Aspects of Computing, ICTAC 2007. The papers cover a broad spectrum of subjects.
Models and Software Model Checking of a Distributed File Replication System
1(23)
Nikolaj Bjørner
From ``Formal Methods'' to System Modeling
24(21)
Manfred Broy
A Denotational Semantics for Handel-C
45(22)
Andrew Butterfield
Generating Polynomial Invariants with Discoverer and QEPCAD
67(16)
Yinghua Chen
Bican Xia
Lu Yang
Naijun Zhan
Harnessing rCOS for Tool Support---The CoCoME Experience
83(32)
Zhenbang Chen
Xiaoshan Li
Zhiming Liu
Volker Stolz
Lu Yang
Automating Verification of Cooperation, Control, and Design in Traffic Applications
115(55)
Werner Damm
Alfred Mikschl
Jens Oehlerking
Ernst-Rudiger Olderog
Jun Pang
Andre Platzer
Marc Segelken
Boris Wirtz
Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus
170(18)
Dang Van Hung
Relating Domain Concepts Intensionally by Ordering Connections
188(29)
Asger Eir
Programmable Messaging for Electronic Government - Building a Foundation
217(20)
Elsa Estevez
Tomasz Janowski
Balancing Insight and Effort: The Industrial Uptake of Formal Methods
237(18)
John Fitzgerald
Peter Gorm Larsen
Proving Theorems About JML Classes
255(25)
Leo Freitas
Jim Woodcock
Specification for Testing
280(20)
Chris George
Padmanabhan Krishnan
P.A.P. Salas
J. W. Sanders
Semantics and Verification of a Language for Modelling Hardware Architectures
300(20)
Michael R. Hansen
Jan Madsen
Aske Wiid Brekling
A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems
320(29)
Anne E. Haxthausen
Jan Peleska
Compensable Programs
349(15)
He Jifeng
Deriving Specifications for Systems That Are Connected to the Physical World
364(27)
Cliff B. Jones
Ian J. Hayes
Michael A. Jackson
Engineering the Development of Embedded Systems
391(8)
Mathai Joseph
Design Verification Patterns
399(15)
John Knudsen
Anders P. Ravn
Arne Skou
On Revival of Algol-Concepts in Modern Programming and Specification Languages
414(21)
Hans Langmaack
Design in CommUnity with Extension Morphisms
435(32)
Xiang Ling
Tom Maibaum
Nazareno Aguirre
Symbolic Test Generation Using a Temporal Logic with Constrained Events
467(5)
Daguang Liu
Peng Wu
Huimin Lin
Expansive-Bisimulation for Context-Free Processes
472(11)
Xinxin Liu
VDM Semantics of Programming Languages: Combinators and Monads
483(21)
Peter D. Mosses
Formal Approach to Railway Applications
504(17)
Martin Penicka
Services as a Paradigm of Computation
521(18)
Wolfgang Reisig
Jan Bretschneider
Dirk Fahland
Niels Lohmann
Peter Massuthe
Christian Stahl
Author Index 539


Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97835407522192e.html
Märksõnad: