Contact Information

Alamat: Komplek Rumah Susun Petamburan Blok 1 Lantai Dasar, Tanah Abang - Jakpus 10260

We're Available 24/ 7. Call Now.
Peluncuran TLA+ Foundation oleh Linux Foundation Bersama AWS, Oracle, dan Microsoft
SHARE:

Technologue.id, Jakarta - TLA+ Foundation telah diluncurkan oleh Linux Foundation, sebuah konsorsium teknologi nirlaba yang mengelola berbagai upaya open source.

Perusahaan teknologi besar seperti AWS, Oracle, dan Microsoft termasuk di antara anggota pengukuhan. Tujuan dari TLA+ Foundation adalah mempromosikan adopsi dan pengembangan bahasa pemrograman TLA+.

Baca Juga:
AWS Sediakan Layanan Pelatihan dan Konsultasi Blockchain

Apa itu TLA+?

TLA+ adalah bahasa "spek" formal yang dikembangkan oleh ilmuwan komputer dan matematikawan Leslie Lamport. TLA+ terkenal karena karya mani dalam sistem terdistribusi.

Lamport, yang sekarang menjadi ilmuwan di Microsoft Research, menciptakan TLA+ untuk merancang, memodelkan, mendokumentasikan, dan memverifikasi program perangkat lunak — khususnya program perangkat lunak bersamaan dan terdistribusi.

Prev Next Page 1 of 3
SHARE:

Sisi Humoris Jensen Huang saat Ditanya Apakah AI Gantikan Pekerjaan Manusia?

Sederet Fitur Google Gemini Live yang Kini Hadir di iPhone