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ț: 50549 lei
  • 20% Logik für Informatiker: Eine Einführung
    Preț: 21219 lei
  • 15% Datenstrukturen und effiziente Algorithmen: Band 1: Sortieren und Suchen
    Preț: 50337 lei
  • 15% Algorithmen in der Computergraphik
    Preț: 45262 lei
  • Aussagenlogik: Deduktion und Algorithmen: Deduktion und Algorithmen
    Preț: 49661 lei
  • Entwurf und Technologie hochintegrierter Schaltungen
    Preț: 48524 lei
  • Prinzipien der Künstlichen Intelligenz: Wissensrepräsentation, Inferenz und Expertensysteme
    Preț: 49623 lei
  • Mathematik für Informatiker
    Preț: 50199 lei
  • 20% Einführung in die Informatik
    Preț: 31643 lei
  • Parsing: Eine Einführung in die maschinelle Analyse natürlicher Sprache
    Preț: 49220 lei
  • Einführung in den VLSI-Entwurf
    Preț: 49095 lei
  • Leistungsbewertung von Rechensystemen: mittels analytischer Warteschlangenmodelle
    Preț: 48930 lei
  • Programmierung in Modula-2: Eine Einführung in das modulare Programmieren mit Anwendungsbeispielen unter UNIX, MS-DOS und TOS
    Preț: 48959 lei
  • Graphen und Algorithmen
    Preț: 48807 lei
  • Parallelrechnerstrukturen: Synthese von Architektur, Kommunikation und Algorithmus
    Preț: 32231 lei
  • Grundlagen der Programmiersprachen
    Preț: 36744 lei
  • Künstliche Intelligenz in Bild- und Sprachanalyse
    Preț: 48775 lei
  • Test und Testbarkeit digitaler Schaltungen
    Preț: 48599 lei
  • Prinzipien und Realisierung von Betriebssystemen
    Preț: 49121 lei
  • Stochastische Modelle in der Informatik
    Preț: 48866 lei
  • Management der Software-Wartung
    Preț: 31709 lei
  • Analyse von Petri-Netz-Modellen
    Preț: 31866 lei
  • Automatentheorie: Eine Einführung in die Theorie endlicher Automaten
    Preț: 49922 lei
  • Betriebssysteme
    Preț: 48825 lei
  • Systematischer Entwurf digitaler Systeme: Von der System- bis zur Gatter-Ebene
    Preț: 49432 lei
  • Software Prototyping mit SETL
    Preț: 48382 lei
  • Algebraische Spezifikation abstrakter Datentypen: Eine Einführung in die Theorie
    Preț: 48710 lei
  • Grundlagen der systemnahen Programmierung
    Preț: 31790 lei
  • Datenflußrechner
    Preț: 49693 lei
  • Algorithmen und Datenstrukturen: Pascal-Version
    Preț: 42558 lei
  • Berechnungstheorie für Informatiker
    Preț: 31289 lei
  • Theoretische Informatik: Eine algorithmenorientierte Einführung
    Preț: 48710 lei
  • Algorithmen und Datenstrukturen mit Modula - 2
    Preț: 32211 lei
  • Mathematik für Informatiker 1
    Preț: 48845 lei
  • Mathematik für Informatiker 2
    Preț: 33212 lei
  • Grundzüge der Digitaltechnik
    Preț: 35531 lei
  • Elektrotechnik und Elektronik für Informatiker: Grundbegriffe der Elektrotechnik
    Preț: 50275 lei
  • Neuronale Netze: Eine Einführung in die Neuroinformatik
    Preț: 48998 lei
  • Vom Problem zum Programm: Eine Einführung in die Informatik
    Preț: 48595 lei
  • Effiziente Algorithmen für grundlegende Funktionen
    Preț: 48634 lei
  • Grundzüge der Datenverarbeitung: Methoden und Konzepte für die Anwendungen
    Preț: 49036 lei

Preț: 49172 lei

Nou

Puncte Express: 738
Preț estimativ în valută:
9411€ • 9788$ • 7887£

Carte tipărită la comandă

Livrare economică 13-27 martie

 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.