Software - PlusCal, een taal voor algorithmen - Bij het CWI in Amsterdam gaf Leslie Lamport een toelichting op de door hem ontworpen taal voor de specificatie van algorithmen PlusCal, die geïntegreerd is in de TLA toolbox. (Dutch)
In:
Elektronica
;
11
, 10
; 30-33
;
2011
-
ISSN:
- Article (Journal) / Print
-
Title:Software - PlusCal, een taal voor algorithmen - Bij het CWI in Amsterdam gaf Leslie Lamport een toelichting op de door hem ontworpen taal voor de specificatie van algorithmen PlusCal, die geïntegreerd is in de TLA toolbox.
-
Published in:Elektronica ; 11, 10 ; 30-33
-
Publisher:
- New search for: Kluwer Techn. Tijdschr. BV
-
Place of publication:Deventer
-
Publication date:2011
-
ISSN:
-
ZDBID:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:Dutch
- New search for: 53.00 / 53.00
- Further information on Basic classification
- New search for: 535/5670
-
Classification:
-
Source:
Table of contents – Volume 11, Issue 10
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 4
-
Uit de markt| 2011
- 10
-
Elektronicaproductie - Zelf printplaten maken voor een aantrekkelijke prijs - Printplaten frezen in plaats van etsen is een techniek die al heel lang bestaat. Terwijl men vroeger ervan overtuigd was dat de technologie ontoereikend was, maken steeds meer ontwerplaboratoria gebruik van deze eenvoudige productiemethode.| 2011
- 12
-
Ontwerpen - Uniforme ontwerpomgeving tilt ontwerp aanraaksensor naar hoger niveau - Veel mensen raakten geïnteresseerd in elektronica door de talloze knopjes, schakelaars, lampjes en dergelijke. Jaren later bestaat die aantrekkingskracht nog steeds, alleen is hij nu vervangen door de 'coole interface'-factor — elektronische producten met een slank en sexy gebruikersinterface.| 2011
- 16
-
Ontwerpen - Wereldwijd onderzoek toont pijnpunten in ontwerpproces elektronica-engineers - Element14 heeft de resultaten bekendgemaakt van een onafhankelijk onderzoek dat is uitgevoerd door Technology Forecasters, Inc. Het doel was de pijnpunten vast te stellen voor elektronica-engineers wereldwijd tijdens de vier ontwerpfasen: concept, ontwerp, prototype en preproductie.| 2011
- 18
-
Telecommunicatie - Eerste Telecom Technology Event in Leusden - Op 3 november 2011 vindt het Telecom Technology Event plaats, bij FHI in Leusden. Sprekers en deelnemers van dit event willen laten zien hoe de grote diversiteit aan technologie benut kan worden door gebruikers en bouwers van de netwerken.| 2011
- 21
-
Elektronicaproductie - Pasta-inspectie reduceert uitvalpercentage - De afgelopen jaren is er een trend naar een toenemende complexiteit van te produceren printen met daarop steeds kleinere componenten. Ondanks het feit dat veel aandacht wordt besteed aan de kwaliteitsaspecten zijn de processen met de huidige middelen onvoldoende onder controle te krijgen.| 2011
- 22
-
Ledtechnologie - Van elektronica naar ledapplicaties - Tijdens het ledevenement op 23 november aanstaande in de Brabanthallen in Den Bosch kunnen ontwikkelaars, componentenleveranciers, testbedrijven en toepassers van ledapplicaties hun visies en ervaringen uitwisselen met de aanwezigen.| 2011
- 26
-
Energievoorziening - Het einde van de olieschaarste gecorrigeerd - Uit licht, wind, afval, biogas en andere energiebronnen genereren we elektriciteit. Uit elektriciteit, CO2 en water kan methaan worden gemaakt en uit methaan zijn allerlei brandstoffen en kunststoffen te maken. Vanuit die nieuwe koolwaterstoffen kunnen we ook weer terug naar elektriciteit. Dat alles gebeurt in de C-1 keten.| 2011
- 30
-
Software - PlusCal, een taal voor algorithmen - Bij het CWI in Amsterdam gaf Leslie Lamport een toelichting op de door hem ontworpen taal voor de specificatie van algorithmen PlusCal, die geïntegreerd is in de TLA toolbox.| 2011
- 33
-
EMC/ESD Praktijk| 2011
- 40
-
Productnieuws| 2011
- 42
-
Adverteerdersindex| 2011