Buchhandlungen Veranstaltungen

Kostenloser Versand ab EUR 20,00

Telefonische Buchberatung

Das Merkzetterl ist leer.

Registrieren Passwort vergessen?

Das Einkaufssackerl ist leer.

Kostenloser Versand möglich

Einkaufssackerl

Kostenloser Versand möglich

Bitte warten - die Druckansicht der Seite wird vorbereitet.

Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Druckansicht verlassenErneut drucken

Formal Methods and Models for System Design

Formal Methods and Models for System Design

ISBN/GTIN

Formal Methods and Models for System Design

von

Gupta, RajeshHrsg.Le Guernic, PaulHrsg.Shukla, Sandeep KumarHrsg.Talpin, Jean-PierreHrsg.

E-BookPDF1 - PDF WatermarkE-Book

Verkaufsrang53423inInformatik - EDV

EUR174,76

ins Einkaufssackerl

Beschreibung

Weitere Beschreibungen

Details

Weitere ISBN/GTIN9781402080524

ProduktartE-Book

EinbandE-Book

Epub-TypPDF

Format Hinweis1 - PDF Watermark

FormatE107

Verlag

Erscheinungsdatum30.06.2004

Auflage2004

Seiten372 Seiten

SpracheEnglisch

IllustrationenIX, 372 p. 65 illus.

Artikel-Nr.36459034

WarengruppeInformatik - EDV

Weitere Details

Bewertungen

Kommentar verfassen

Autor

Gupta, RajeshHrsg.Le Guernic, PaulHrsg.Shukla, Sandeep KumarHrsg.Talpin, Jean-PierreHrsg.

Weitere Produkte von Gupta, Rajesh

Hrsg.

Sabores de la India 2023

Rahen Na Rahen Hum

The Entrepreneur's Blueprint

The Silk Road A Journey Through History

Riduzione degli NOx in un motore diesel a miscela metanolo-diesel

NOx Redução de um Motor Diesel de Mistura de Metanol-Diesel

Reducción de NOx en un motor diésel con mezcla de metanol y diésel

NOx-Reduktion bei einem Dieselmotor mit Methanol-Diesel-Gemisch

Réduction des NOx d'un moteur diesel à mélange méthanol-diesel

Pain Management

Multiple Choice Questions in Regional Anaesthesia

Multiple Choice Questions in Pain Management

NOx Reduction of a Methanol-Diesel Blended Diesel Engine

Hands-On Data Analysis with Scala

Multiple Choice Questions in Regional Anaesthesia

Multiple Choice Questions in Regional Anaesthesia

SPARK: A Parallelizing Approach to the High-Level Synthesis of Digital Circuits

Malnutrition among urban adolescents, an emerging public health threat

PET/MR Imaging

PET/MR Imaging

Hands-On Data Analysis with Scala

High Reynolds Number Flow Over An Elliptical Cylinder

Standardisation du système de fertirrigation goutte à goutte pour la culture de l'ail

Standardizzazione del sistema di fertirrigazione a goccia per la coltura dell'aglio

Padronização do sistema de fertirrigação por gotejamento para cultivo de alho

Standardisierung des Drip-Fertigation-Systems für Knoblauchernte

Dear Zindagi

Numerical Simulation of Buoyancy Induced Flame Through a Combustor

Symmetries and Exact Solutions for Nonlinear Systems

SPARK: A Parallelizing Approach to the High-Level Synthesis of Digital Circuits

Weitere Produkte von Le Guernic, Paul

Hrsg.

Weitere Produkte von Shukla, Sandeep Kumar

Hrsg.

Implementing Enterprise Cybersecurity with Opensource Software and Standard Architecture

Implementing Enterprise Cybersecurity with Opensource Software and Standard Architecture

Fundamental Problems in Computing

Ingredients for Successful System Level Design Methodology

SystemC Kernel Extensions for Heterogeneous System Modeling

Fundamental Problems in Computing

Cyber Security in India

Low Power Design with High-Level Power Estimation and Power-Aware Synthesis

Synthesis of Embedded Software

Cyber Security in India

Ingredients for Successful System Level Design Methodology

SystemC Kernel Extensions for Heterogeneous System Modeling

Nano, Quantum and Molecular Computing

Cyber Security in India

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications

Low Power Design with High-Level Power Estimation and Power-Aware Synthesis

Synthesis of Embedded Software

Nano, Quantum and Molecular Computing

Low Power Design with High-Level Power Estimation and Power-Aware Synthesis

SystemC Kernel Extensions for Heterogeneous System Modeling

Nano, Quantum and Molecular Computing

Weitere Produkte von Talpin, Jean-Pierre

Hrsg.

Dependable Software Engineering. Theories, Tools, and Applications

Dependable Software Engineering. Theories, Tools, and Applications

Synthesis of Embedded Software

Cyber-Physical System Design from an Architecture Analysis Viewpoint

Cyber-Physical System Design from an Architecture Analysis Viewpoint

Synthesis of Embedded Software

Cyber-Physical System Design from an Architecture Analysis Viewpoint