Cantitate/Preț
Produs
Total produse
Vezi coșul
Verifikation digitaler Systeme: Eine Einführung in den Entwurf korrekter digitaler Systeme de Hans Eveking

Verifikation digitaler Systeme: Eine Einführung in den Entwurf korrekter digitaler Systeme: Leitfäden und Monographien der Informatik

Autor Hans Eveking
de Limba Germană Paperback – oct 1991

Din seria Leitfäden und Monographien der Informatik

  • 15% Stochastik für Informatiker
    Preț: 49529 lei
  • 20% Logik für Informatiker: Eine Einführung
    Preț: 20787 lei
  • 15% Datenstrukturen und effiziente Algorithmen: Band 1: Sortieren und Suchen
    Preț: 49321 lei
  • 15% Algorithmen in der Computergraphik
    Preț: 44349 lei
  • Aussagenlogik: Deduktion und Algorithmen: Deduktion und Algorithmen
    Preț: 48660 lei
  • Entwurf und Technologie hochintegrierter Schaltungen
    Preț: 47546 lei
  • Prinzipien der Künstlichen Intelligenz: Wissensrepräsentation, Inferenz und Expertensysteme
    Preț: 48623 lei
  • Mathematik für Informatiker
    Preț: 49188 lei
  • 20% Einführung in die Informatik
    Preț: 31008 lei
  • Parsing: Eine Einführung in die maschinelle Analyse natürlicher Sprache
    Preț: 48229 lei
  • Einführung in den VLSI-Entwurf
    Preț: 48107 lei
  • Leistungsbewertung von Rechensystemen: mittels analytischer Warteschlangenmodelle
    Preț: 47946 lei
  • Programmierung in Modula-2: Eine Einführung in das modulare Programmieren mit Anwendungsbeispielen unter UNIX, MS-DOS und TOS
    Preț: 47972 lei
  • Graphen und Algorithmen
    Preț: 47824 lei
  • Parallelrechnerstrukturen: Synthese von Architektur, Kommunikation und Algorithmus
    Preț: 31586 lei
  • Grundlagen der Programmiersprachen
    Preț: 36007 lei
  • Künstliche Intelligenz in Bild- und Sprachanalyse
    Preț: 47792 lei
  • Test und Testbarkeit digitaler Schaltungen
    Preț: 47622 lei
  • Prinzipien und Realisierung von Betriebssystemen
    Preț: 48133 lei
  • Stochastische Modelle in der Informatik
    Preț: 47881 lei
  • Management der Software-Wartung
    Preț: 31074 lei
  • Analyse von Petri-Netz-Modellen
    Preț: 31227 lei
  • Automatentheorie: Eine Einführung in die Theorie endlicher Automaten
    Preț: 48916 lei
  • Betriebssysteme
    Preț: 47840 lei
  • Systematischer Entwurf digitaler Systeme: Von der System- bis zur Gatter-Ebene
    Preț: 48435 lei
  • Software Prototyping mit SETL
    Preț: 47409 lei
  • Algebraische Spezifikation abstrakter Datentypen: Eine Einführung in die Theorie
    Preț: 47729 lei
  • Grundlagen der systemnahen Programmierung
    Preț: 31154 lei
  • Datenflußrechner
    Preț: 48693 lei
  • Algorithmen und Datenstrukturen: Pascal-Version
    Preț: 41845 lei
  • Berechnungstheorie für Informatiker
    Preț: 30662 lei
  • Theoretische Informatik: Eine algorithmenorientierte Einführung
    Preț: 47729 lei
  • Algorithmen und Datenstrukturen mit Modula - 2
    Preț: 31565 lei
  • Mathematik für Informatiker 1
    Preț: 47861 lei
  • Mathematik für Informatiker 2
    Preț: 32546 lei
  • Grundzüge der Digitaltechnik
    Preț: 34818 lei
  • Elektrotechnik und Elektronik für Informatiker: Grundbegriffe der Elektrotechnik
    Preț: 49263 lei
  • Neuronale Netze: Eine Einführung in die Neuroinformatik
    Preț: 48011 lei
  • Vom Problem zum Programm: Eine Einführung in die Informatik
    Preț: 47615 lei
  • Effiziente Algorithmen für grundlegende Funktionen
    Preț: 47653 lei
  • Grundzüge der Datenverarbeitung: Methoden und Konzepte für die Anwendungen
    Preț: 48048 lei

Preț: 48181 lei

Nou

Puncte Express: 723
Preț estimativ în valută:
9224€ • 9588$ • 7648£

Carte tipărită la comandă

Livrare economică 06-20 februarie 25

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783519022497
ISBN-10: 3519022494
Pagini: 324
Ilustrații: XII, 308 S. 1 Abb.
Dimensiuni: 170 x 244 x 17 mm
Greutate: 0.52 kg
Ediția:1991
Editura: Vieweg+Teubner Verlag
Colecția Vieweg+Teubner Verlag
Seria Leitfäden und Monographien der Informatik

Locul publicării:Wiesbaden, Germany

Public țintă

Upper undergraduate

Cuprins

I: Grundlagen.- 1 Entwurfskorrektheit.- 2 Begriff der Abstraktionsebene.- 3 Modellierung von Verhalten.- 4 Sprachen der Prädikatenlogik.- 5 Formale Systeme der Prädikatenlogik.- II: Elementare Verifikationstechniken für Hardwarebeschreibungen.- 6 Hardwarebeschreibungen.- 7 Logikverifikation.- 8 Statische Beschreibungen.- 9 Transitionale Beschreibungen.- 10 Kombiniert statisch/transitionale Beschreibungen.- 11 Beschreibungen mit Vielfach-Verzögerungen.- 12 Switch-Level Beschreibungen.- 13 Strukturbeschreibungen.- III: Entwurfsmethodik.- 14 Strukturierte Entwurfsmethoden.- 15 Erweiterungen von Beschreibungen.- 16 Interpretierbare Beschreibungen.- 17 Zeitliche Abstraktion.- 18 Äquivalenz von Beschreibungen.- 19 Verifikation von Teilen.- 20 Horizontale Verifikation.- 21 Timing-Verifikation.- 22 Struktur von Verifikations-Werkzeugen.- Anhang: Beschreibung eines Divisionswerks auf vier Abstraktionsebenen.