Atjaunināt sīkdatņu piekrišanu

E-grāmata: Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Borger on the Occasion of His 75th Birthday

Edited by , Edited by , Edited by
  • Formāts: PDF+DRM
  • Sērija : Lecture Notes in Computer Science 12750
  • Izdošanas datums: 04-Jun-2021
  • Izdevniecība: Springer Nature Switzerland AG
  • Valoda: eng
  • ISBN-13: 9783030760205
Citas grāmatas par šo tēmu:
  • Formāts - PDF+DRM
  • Cena: 53,52 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Ielikt grozā
  • Pievienot vēlmju sarakstam
  • Šī e-grāmata paredzēta tikai personīgai lietošanai. E-grāmatas nav iespējams atgriezt un nauda par iegādātajām e-grāmatām netiek atmaksāta.
Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Borger on the Occasion of His 75th BirthdayPalielināt
  • Formāts: PDF+DRM
  • Sērija : Lecture Notes in Computer Science 12750
  • Izdošanas datums: 04-Jun-2021
  • Izdevniecība: Springer Nature Switzerland AG
  • Valoda: eng
  • ISBN-13: 9783030760205
Citas grāmatas par šo tēmu:

DRM restrictions

  • Kopēšana (kopēt/ievietot):

    nav atļauts

  • Drukāšana:

    nav atļauts

  • Lietošana:

    Digitālo tiesību pārvaldība (Digital Rights Management (DRM))
    Izdevējs ir piegādājis šo grāmatu šifrētā veidā, kas nozīmē, ka jums ir jāinstalē bezmaksas programmatūra, lai to atbloķētu un lasītu. Lai lasītu šo e-grāmatu, jums ir jāizveido Adobe ID. Vairāk informācijas šeit. E-grāmatu var lasīt un lejupielādēt līdz 6 ierīcēm (vienam lietotājam ar vienu un to pašu Adobe ID).

    Nepieciešamā programmatūra
    Lai lasītu šo e-grāmatu mobilajā ierīcē (tālrunī vai planšetdatorā), jums būs jāinstalē šī bezmaksas lietotne: PocketBook Reader (iOS / Android)

    Lai lejupielādētu un lasītu šo e-grāmatu datorā vai Mac datorā, jums ir nepieciešamid Adobe Digital Editions (šī ir bezmaksas lietotne, kas īpaši izstrādāta e-grāmatām. Tā nav tas pats, kas Adobe Reader, kas, iespējams, jau ir jūsu datorā.)

    Jūs nevarat lasīt šo e-grāmatu, izmantojot Amazon Kindle.

This Festschrift was published in honor of Egon Börger on the occasion of his 75th birthday.

It acknowledges Prof. Börger's inspiration as a scientist, author, mentor, and community organizer. Dedicated to a pioneer in the fields of logic and computer science, Egon Börger's research interests are unusual in scope, from programming languages to hardware architectures, software architectures, control systems, workflow and interaction patterns, business processes, web applications, and concurrent systems.



The 18 invited contributions in this volume are by leading researchers in the areas of software engineering, programming languages, business information systems, and computer science logic.
From Logic and Computation Theory to Rigorous Methods for Software
Engineering.- Towards Leveraging Domain Knowledge in State-Based Formal
Methods.- Some Observations on Mitotic Sets.- Moded and Continuous Abstract
State Machines.- A Stepwise Design Optimization Problem.- Semantic Splitting
of Conditional Belief Bases.- Communities and Ancestors Associated with Egon
Börger and ASM.- Language and communication problems in formalization: a
natural language approach.- ASM Specification and Refinement of a Quantum
Algorithm.- Spot the Difference: A Detailed Comparison Between B and
Event-B.- Some Thoughts on Computational Models: From Massive Human Computing
to Abstract State Machines, and Beyond.- Analysis of Mobile Networks'
Protocols Based on Abstract State Machines.- What is the Natural Abstraction
Level of an Algorithm.- The ASMETA approach to safety assurance of software
systems.- Flashix: Modular Verification of a Concurrent and Crash-Safe Flash
File System.- Computation on Structures: Behavioural Theory, Logic,
Complexity.- The Combined Use of the Web Ontology Language (OWL) and Abstract
State Machines (ASM) for the Definition of a Specification Language for
Business Processes.- Models and Modelling in Computer Science.- A Framework
for Modeling the Semantics of Synchronous and Asynchronous Procedures with
Abstract State Machines.
Biežāk uzdotie jautājumi par e-grāmatām Biežāk uzdotie jautājumi par e-grāmatām
Permanent link: https://www.kriso.lv/db/97830307602052e.html
Keywords: