Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 14.09.2026 auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher, nicht preisgebundene Bücher und Kalender in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind Abos & Flatrates, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Nur gültig mit im Onlineshop hinterlegter Bonuscard. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services.
  • Produktbild: Formal Methods in Programming and Their Applications
  • Produktbild: Formal Methods in Programming and Their Applications
Band 735

Formal Methods in Programming and Their Applications International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

05.10.1993

Abbildungen

IX, 438 p.

Herausgeber

Dines Bjørner + weitere

Verlag

Springer Berlin

Seitenzahl

438

Maße (L/B/H)

23,5/15,5/2,5 cm

Gewicht

680 g

Auflage

1993

Sprache

Englisch

ISBN

978-3-540-57316-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

05.10.1993

Abbildungen

IX, 438 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

438

Maße (L/B/H)

23,5/15,5/2,5 cm

Gewicht

680 g

Auflage

1993

Sprache

Englisch

ISBN

978-3-540-57316-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Formal Methods in Programming and Their Applications
  • Produktbild: Formal Methods in Programming and Their Applications
  • Theory of domains and nearby.- Predicative programming — A survey.- A three-valued logic for refinement.- A compositional semantics of combining forms for gamma programs.- Algebraic properties of loop invariants.- An approach to parameterized first-order specifications: Semantics, correctness, parameter passing.- Algebraic modelling of imperative languages with pointers.- Galois connection based abstract interpretations for strictness analysis.- Efficient chaotic iteration strategies with widenings.- Semantic analysis of interval congruences.- Polymorphic typing for call-by-name semantics.- Logic program testing based on abstract interpretation.- Analysis of some semantic properties for programs of the applicative language AL.- Communication as unification in process algebras: Operational semantics.- Functional development of massively parallel programs.- Observing some properties of event structures.- The other linear logic.- Duration Calculi: An overview.- A unique formalism for specifying and designing objects in a parallel environment.- On the smooth calculation of relational recursive expressions out of first-order non-constructive specifications involving quantifiers.- Saturation replaces induction for a miniscoped linear temporal logic.- A formal approach to requirements engineering.- A two-phase approach to reverse engineering using formal methods.- Algebraically provable specification of optimized compilations.- Formal derivation of an error-detecting distributed data scheduler using Changeling.- REAL92: A combined specification language for real-time concurrent systems and properties.- Algebraic calculation of graph and sorting algorithms.- Automatical synthesis of programs with recursions.- Parsing in Isbes.